{"id":"W2168004790","doi":"","title":"A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata","year":2008,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Automaton; Computer science; Set (abstract data type); Process (computing); Transition system; Timed automaton; State (computer science); Boundary (topology); Algorithm; Theoretical computer science; Mathematics; Programming language","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.001480893,0.0002018814,0.0002885164,0.0001727061,0.0004176947,0.0001954308,0.001051666,0.000144549,0.000003354109],"category_scores_gemma":[0.0006583125,0.0001892402,0.00006909493,0.0005494762,0.00007420249,0.0008669748,0.0002640515,0.0001320181,0.00009623585],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001507168,"about_ca_system_score_gemma":0.0003087459,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002040953,"about_ca_topic_score_gemma":2.028737e-7,"domain_scores_codex":[0.9981169,0.0001400738,0.0004750686,0.0005187948,0.0003387258,0.0004104851],"domain_scores_gemma":[0.9981955,0.0003033605,0.0002303308,0.0008949256,0.0002713944,0.0001044692],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007009244,0.0003193989,0.0002965673,0.0004898855,0.00009124986,0.00004366096,0.002294966,0.003246033,0.7395397,0.1898293,0.006889729,0.05688933],"study_design_scores_gemma":[0.0002003593,0.0001414719,0.0001790087,0.00007064302,0.000005151218,0.0001716239,0.000008682978,0.9592201,0.03723668,0.001617417,0.0008975815,0.0002513611],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006549692,0.000026119,0.9669653,0.0000714144,0.0002592573,0.001299661,0.000003036056,0.001594424,0.02323109],"genre_scores_gemma":[0.04957355,0.000007030767,0.9462106,0.00005544891,0.00008752996,0.0005386219,0.000006140914,0.00002776911,0.003493342],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.955974,"threshold_uncertainty_score":0.7716991,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07524305892057433,"score_gpt":0.3082481071389693,"score_spread":0.233005048218395,"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."}}