{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007375063,0.001125537,0.001165199,0.002565355,0.0007385788,0.002308714,0.001868501,0.001538325,0.002064765],"category_scores_gemma":[0.02622456,0.0008581042,0.001713609,0.002381518,0.002182406,0.004802201,0.002593807,0.00217676,0.0005903401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009695201,"about_ca_system_score_gemma":0.00231974,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003346545,"about_ca_topic_score_gemma":0.005277229,"domain_scores_codex":[0.9912993,0.005593338,0.0004260557,0.0004291372,0.002055949,0.0001962235],"domain_scores_gemma":[0.9716635,0.02328746,0.0008342225,0.002949461,0.001129681,0.0001356873],"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.0002401993,0.0003446926,0.004174409,0.001077201,0.0004245853,0.000307265,0.0009032322,0.4541042,0.01660466,0.2014058,0.001404597,0.319009],"study_design_scores_gemma":[0.0000512804,0.0001621635,0.0002892281,0.000210158,0.0001202477,0.0002161045,0.000138946,0.8563007,0.008369511,0.1289736,0.005133179,0.00003494852],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007808572,0.0004914295,0.9886954,0.0005890303,0.00002009312,0.00005779628,0.00001563675,0.0005066459,0.001815365],"genre_scores_gemma":[0.2321167,0.0009551282,0.7653698,0.0002566129,0.00003485587,0.0001359762,0.00006637773,0.0002012371,0.0008632057],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007375063,"threshold_uncertainty_score":0.03900349,"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."}}