{"id":"W1971159340","doi":"10.1145/2534397","title":"Test compaction techniques for assertion-based test generation","year":2013,"lang":"en","type":"article","venue":"ACM Transactions on Design Automation of Electronic Systems","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure; McGill University","funders":"","keywords":"Assertion; Computer science; Compaction; Test (biology); Automatic test pattern generation; Path (computing); Scheme (mathematics); Reduction (mathematics); Test case; Cluster analysis; Algorithm; Programming language; Artificial intelligence; Machine learning; Mathematics","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.0006975207,0.0002097393,0.0002480299,0.0004000572,0.000257391,0.0002013881,0.000554778,0.0001492658,0.00001314775],"category_scores_gemma":[0.0006094017,0.0002055627,0.0001056713,0.000510391,0.00002993058,0.0005992,0.000003439201,0.0001490858,0.00002604867],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003198873,"about_ca_system_score_gemma":0.0002392892,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000161662,"about_ca_topic_score_gemma":0.000004254512,"domain_scores_codex":[0.9983096,0.0001379798,0.0005345448,0.0003653703,0.0003173595,0.0003351564],"domain_scores_gemma":[0.9955892,0.002706799,0.0003374765,0.0008073164,0.0004987252,0.00006051227],"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.00004758293,0.003045791,0.0007232117,0.0005763308,0.0001954779,0.000001136823,0.0004646321,0.1269794,0.3747484,0.006651944,0.05184115,0.434725],"study_design_scores_gemma":[0.0002355545,0.001118246,0.0001802484,0.00009937031,0.00001652295,0.0000112175,0.000003818268,0.8384647,0.1554948,0.004050916,0.0001371024,0.000187538],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0005797112,0.00004977937,0.9904862,0.00058991,0.0001686635,0.001693784,0.000006129074,0.006390461,0.00003537821],"genre_scores_gemma":[0.722854,0.000004381279,0.2756839,0.00006403009,0.00004198764,0.001243147,0.00001186195,0.0000185194,0.00007826219],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7222742,"threshold_uncertainty_score":0.8382602,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03796342581928601,"score_gpt":0.272911710833078,"score_spread":0.234948285013792,"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."}}