{"id":"W2056904432","doi":"10.1109/issre.2014.14","title":"Multi-objective Construction of an Entire Adequate Test Suite for an EFSM","year":2014,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Test suite; Computer science; Test (biology); Suite; Extended finite-state machine; Test case; Finite-state machine; Code coverage; Model-based testing; Reliability engineering; Algorithm; Machine learning; Programming language; Engineering; Software","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.0003920948,0.0000972624,0.0001320895,0.00009073782,0.00008515411,0.00005982293,0.0003877062,0.00005474317,0.000002545743],"category_scores_gemma":[0.0005420627,0.00008623638,0.00003961103,0.0001514348,0.00006718571,0.0004239129,0.00006215859,0.00005108411,0.000002688875],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000142394,"about_ca_system_score_gemma":0.00002601861,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002364666,"about_ca_topic_score_gemma":0.00002719523,"domain_scores_codex":[0.9991959,0.00005123596,0.0001674499,0.000312723,0.0001071676,0.0001655437],"domain_scores_gemma":[0.998687,0.0004675326,0.0001046236,0.0004830346,0.0001857364,0.00007207125],"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.00001600496,0.000519259,0.03413683,0.00005377349,0.00001769008,0.000001283061,0.001848617,0.00002688302,0.006204867,0.04329268,0.001192386,0.9126897],"study_design_scores_gemma":[0.000733665,0.002065717,0.01896936,0.00005155522,0.00001305118,0.0000445806,0.00004319633,0.8581625,0.04771819,0.07163678,0.0002091889,0.0003521731],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05565182,0.000004481101,0.9391882,0.00003358416,0.0001636239,0.0001867025,0.000003504963,0.004458176,0.0003098782],"genre_scores_gemma":[0.475118,1.870471e-7,0.5247414,0.00004414592,0.00002509628,0.00001657927,0.000002438236,0.000005058114,0.00004712565],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9123375,"threshold_uncertainty_score":0.3516618,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02991380138549265,"score_gpt":0.2933847128231663,"score_spread":0.2634709114376736,"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."}}