{"id":"W2525976117","doi":"","title":"An incremental method for testing timed input output automata","year":2008,"lang":"en","type":"article","venue":"International Conference on Telecommunications","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Automaton; Reliability engineering; System requirements specification; System testing; Formal specification; Test strategy; Fault coverage; Software requirements specification; System under test; Model-based testing; Conformance testing; Test case; Software system; Software; Programming language; Engineering; Software engineering; Theoretical computer science; Operating system","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008424745,0.0008095807,0.0005655597,0.001241685,0.0003462827,0.0005895397,0.00224819,0.0005348139,0.00222181],"category_scores_gemma":[0.004977898,0.0003911207,0.001045384,0.0006095233,0.0006606668,0.001056034,0.001006777,0.0008765791,0.0003579123],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004632878,"about_ca_system_score_gemma":0.0009887367,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001604288,"about_ca_topic_score_gemma":0.001644994,"domain_scores_codex":[0.9985054,0.0003229891,0.0001032752,0.000262712,0.0007038945,0.0001016917],"domain_scores_gemma":[0.9968476,0.001804256,0.0001877736,0.0005174191,0.000565781,0.0000772592],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0008058046,0.0004361624,0.006383553,0.0006772606,0.0001919908,0.001354633,0.0005597771,0.1234702,0.1227106,0.06942469,0.004129961,0.6698554],"study_design_scores_gemma":[0.0001431852,0.0005429751,0.0009309764,0.00005150902,0.0001869657,0.0009503454,0.00005571345,0.9025266,0.05904802,0.02394823,0.01155241,0.00006305861],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009220592,0.00006472232,0.9872282,0.00003668464,0.00003073933,0.000111287,0.00006064482,0.002102412,0.001144794],"genre_scores_gemma":[0.2829477,0.0001322868,0.7136747,0.00009562414,0.00004249537,0.0005071153,0.0004763317,0.0002836261,0.001840109],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00224819,"threshold_uncertainty_score":0.007432759,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2258861082196891,"score_gpt":0.4183812389073746,"score_spread":0.1924951306876855,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}