{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009736064,0.0007296949,0.0004808582,0.001334906,0.0002646327,0.0006788427,0.0009432107,0.000676952,0.002446793],"category_scores_gemma":[0.007567251,0.0003515655,0.0007767461,0.000679184,0.0006877309,0.0008950534,0.0006964862,0.0007471022,0.0004667101],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005466677,"about_ca_system_score_gemma":0.0007402841,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00125826,"about_ca_topic_score_gemma":0.0008673953,"domain_scores_codex":[0.9978988,0.0006284135,0.0002273236,0.0003589755,0.0007370344,0.0001494228],"domain_scores_gemma":[0.9946243,0.00319146,0.000515921,0.0007930617,0.0007826265,0.00009252421],"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.0006571556,0.0004845457,0.007110064,0.0004606148,0.0001160222,0.001921044,0.0008402254,0.2627881,0.1468424,0.08649131,0.005022613,0.4872659],"study_design_scores_gemma":[0.0001281575,0.0002253841,0.0008020733,0.00004770215,0.00006615491,0.0006566898,0.00005618066,0.8705558,0.1002028,0.01993853,0.007271823,0.00004869655],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02302865,0.00002538953,0.9731506,0.0000496416,0.00001648292,0.0001929333,0.0001259878,0.002378957,0.00103128],"genre_scores_gemma":[0.3917471,0.00007184843,0.6049184,0.0000717466,0.00001667208,0.0006129507,0.0008972094,0.0004378239,0.001226189],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002446793,"threshold_uncertainty_score":0.008185387,"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."}}