{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008519634,0.000167206,0.000156962,0.0002459507,0.0005061665,0.0001752772,0.00397279,0.00007819789,0.00004149025],"category_scores_gemma":[0.0007562606,0.0001775811,0.00006284512,0.0003109303,0.0000937625,0.0009519597,0.0003231698,0.0002452617,0.00008156524],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001555221,"about_ca_system_score_gemma":0.0002240359,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007777945,"about_ca_topic_score_gemma":0.00001166477,"domain_scores_codex":[0.9982918,0.0002923458,0.0004282994,0.0003980414,0.0003613674,0.0002281784],"domain_scores_gemma":[0.9967926,0.0005206637,0.0002578371,0.001638313,0.000687344,0.0001032852],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001790315,0.0004114457,0.0003254749,0.000004171607,0.00004092476,0.0000010765,0.0007045888,0.0002813067,0.008915818,0.8675319,0.0006546419,0.1211107],"study_design_scores_gemma":[0.0004246287,0.0002253091,0.005013439,0.00002476557,0.000005207451,0.00005041088,0.00005847929,0.9726183,0.005749792,0.01091444,0.004686494,0.0002287262],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002845215,0.000008455439,0.9563864,0.002350491,0.000274229,0.0003731463,0.00003727879,0.0003987715,0.03732603],"genre_scores_gemma":[0.3422403,0.0000218691,0.656783,0.0003731643,0.00004451139,0.0001984132,0.00008750342,0.00001102166,0.0002402054],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.972337,"threshold_uncertainty_score":0.7382498,"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."}}