{"id":"W6948256836","doi":"10.48550/arxiv.1403.7261","title":"Generating Complete and Finite Test Suite for ioco: Is It Possible?","year":2014,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Nondeterministic algorithm; Test suite; Conformance testing; Model-based testing; Relation (database); Construct (python library); Domain (mathematical analysis); Test case","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004469671,0.0003443534,0.0003769572,0.0002431608,0.0003403408,0.0003451312,0.001307302,0.0002508087,0.000006104488],"category_scores_gemma":[0.0005162967,0.0003949886,0.0001511346,0.0002880406,0.0001107434,0.0001895007,0.001771791,0.0003687456,0.00001588705],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007141449,"about_ca_system_score_gemma":0.0001108711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001364128,"about_ca_topic_score_gemma":0.00001453249,"domain_scores_codex":[0.9980391,0.00007400055,0.0002304355,0.001181837,0.00008241426,0.0003921801],"domain_scores_gemma":[0.9964815,0.001695484,0.0002905322,0.001138508,0.0002326603,0.0001612768],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000121025,0.0007480026,0.2303751,0.003708756,0.0006326751,0.0005752089,0.006533816,0.2941417,0.001166242,0.1456106,0.2810408,0.03534606],"study_design_scores_gemma":[0.0002893794,0.0001092558,0.0003874283,0.0002107114,0.00003830818,0.000006219437,0.000004603296,0.9169716,0.0001098196,0.08000109,0.001407759,0.0004638753],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03852593,0.00004459703,0.9570972,0.0003384735,0.0002264568,0.0003929405,0.00005821688,0.002889686,0.0004264682],"genre_scores_gemma":[0.8505493,0.00003816233,0.1471311,0.001096048,0.0001264116,0.00000471799,0.00001912651,0.00002581078,0.001009402],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8120233,"threshold_uncertainty_score":0.9998502,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1239338824953261,"score_gpt":0.224480500453505,"score_spread":0.1005466179581788,"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."}}