{"id":"W2111389084","doi":"10.1109/icc.1996.542187","title":"A test generation tool for specifications in the form of state machines","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Identification (biology); Finite-state machine; Automatic test pattern generation; Heuristic; Minification; Programming language; Test (biology); State (computer science); Test case; Software; Formal specification; Software engineering; Artificial intelligence; Engineering; Machine learning","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.0002353458,0.00003909423,0.00004500428,0.00004914205,0.00004457289,0.0000454447,0.0003145985,0.0000111397,0.000005068256],"category_scores_gemma":[0.000278746,0.00002507408,0.00001948126,0.0001928541,0.00001157981,0.0001190593,0.00002020352,0.00002529615,0.000002680312],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007378929,"about_ca_system_score_gemma":0.000005138205,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000307693,"about_ca_topic_score_gemma":0.00002785863,"domain_scores_codex":[0.9996144,0.0000116109,0.0001312969,0.00009719221,0.00007351835,0.00007200358],"domain_scores_gemma":[0.9991709,0.0004551336,0.00003810443,0.0002842439,0.00004524849,0.000006352651],"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.000001747923,0.0005614419,0.03099185,0.00003117188,0.0000055055,0.000001832767,0.008120277,0.00009687908,0.002916175,0.09616829,0.3075618,0.553543],"study_design_scores_gemma":[0.0001177093,0.00009132275,0.006703678,0.000007439445,0.000001327134,0.000006416985,0.000002723418,0.9005721,0.002125996,0.08907894,0.001214921,0.00007747729],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01246217,0.00002612582,0.984054,0.001530286,0.00002799385,0.0002177036,0.000003167282,0.0007853269,0.0008932854],"genre_scores_gemma":[0.6385195,0.000005492709,0.3610058,0.0001880358,0.0000208454,0.00005518205,0.000001375654,0.000001995231,0.0002017502],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9004751,"threshold_uncertainty_score":0.1022491,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1068663408316182,"score_gpt":0.281313890728613,"score_spread":0.1744475498969948,"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."}}