{"id":"W4240999823","doi":"10.1109/cmsbse.2013.6605713","title":"Effectively using search-based software engineering techniques within model checking and its applications","year":2013,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Ontario Tech University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Search-based software engineering; Assertion; Software engineering; Software; Process (computing); Model checking; Heuristic; Software development; Software construction; Programming language; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.0003051301,0.0001584557,0.0001374753,0.0001833566,0.0001538336,0.0002142442,0.0003880557,0.000074852,0.00000177347],"category_scores_gemma":[0.0002394704,0.0001468029,0.00003016426,0.0003208625,0.00002575482,0.0004431462,0.0002157237,0.000164522,0.000005631874],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005658351,"about_ca_system_score_gemma":0.000067791,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001074052,"about_ca_topic_score_gemma":4.282476e-7,"domain_scores_codex":[0.9990277,0.00002312677,0.0001630472,0.0003664637,0.0001739115,0.0002456937],"domain_scores_gemma":[0.9990309,0.0003167796,0.0000473363,0.0003416929,0.0001623626,0.000100887],"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.00001103899,0.0004955972,0.01875564,0.001523331,0.0001191291,0.00002118159,0.002567305,0.2510381,0.1958692,0.1236089,0.002236129,0.4037544],"study_design_scores_gemma":[0.00004668337,0.00002248523,0.0002134925,0.00009281845,0.000002948383,0.00001007122,8.737361e-7,0.9339437,0.06024867,0.005231659,0.000006600073,0.0001799965],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01709917,0.0000649764,0.9663185,0.00006295505,0.00001192176,0.0005477379,7.735725e-7,0.01583581,0.00005817018],"genre_scores_gemma":[0.4301012,8.420558e-7,0.5696037,0.00009991023,0.00001150222,0.0001599033,4.551823e-7,0.0000124522,0.0000100857],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6829056,"threshold_uncertainty_score":0.5986449,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03047776273735279,"score_gpt":0.2658187234315718,"score_spread":0.235340960694219,"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."}}