{"id":"W2162032875","doi":"10.1109/real.1998.739748","title":"Timed test cases generation based on state characterization technique","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":112,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University; Université de Montréal","funders":"","keywords":"Computer science; Nondeterministic algorithm; Correctness; Test suite; Automaton; Timed automaton; Finite-state machine; Set (abstract data type); System under test; State (computer science); Granularity; Algorithm; Test case; Programming language; Theoretical computer science","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.0001702445,0.0001130308,0.00008306289,0.0001456255,0.0001051599,0.0001423449,0.0002579917,0.00004389209,0.00006173774],"category_scores_gemma":[0.00038569,0.00009931971,0.00002494976,0.0003021116,0.00001533707,0.0002284614,0.0000361135,0.00007051438,0.00007486744],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003538471,"about_ca_system_score_gemma":0.00001408372,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001886291,"about_ca_topic_score_gemma":0.000001354813,"domain_scores_codex":[0.9991993,0.00004196449,0.0001515366,0.000276569,0.0001778294,0.0001527469],"domain_scores_gemma":[0.9990884,0.0002758241,0.00006516473,0.0004485521,0.00007316704,0.00004888123],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007270382,0.001185616,0.01047243,0.00004034793,0.000009212687,0.0002247146,0.0003402577,0.0004850362,0.2905959,0.002083527,0.1266578,0.5678979],"study_design_scores_gemma":[0.00007421912,0.0002308653,0.0008861456,0.00002328323,0.000001213476,0.00002289175,6.750255e-8,0.9055538,0.09186279,0.0004576246,0.0007323535,0.0001547422],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002520254,0.0000029103,0.9840991,0.0006655232,0.00006551842,0.0002195226,0.000003957762,0.01119341,0.001229757],"genre_scores_gemma":[0.7468537,0.000003100286,0.2508786,0.001386646,0.0000478364,0.0000860668,0.00001936034,0.00001074584,0.0007139798],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9050688,"threshold_uncertainty_score":0.405014,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0420348950945121,"score_gpt":0.2411333431361208,"score_spread":0.1990984480416087,"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."}}