{"id":"W2808023677","doi":"10.1145/3183519.3183551","title":"Evaluating specification-level MC/DC criterion in model-based testing of safety critical systems","year":2018,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary; Microsoft (Canada)","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Code coverage; Certification; Reliability engineering; Model-based testing; Process (computing); White-box testing; Software; Software engineering; Software system; Test case; Programming language; Software construction; Engineering","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.01161385,0.0009098389,0.0008848352,0.004126378,0.0006104812,0.002293182,0.001973746,0.001594662,0.002301592],"category_scores_gemma":[0.08715429,0.0004568902,0.001238426,0.001273363,0.001693345,0.002303126,0.001708269,0.000934341,0.0002794296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003474227,"about_ca_system_score_gemma":0.003817688,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01622054,"about_ca_topic_score_gemma":0.01017466,"domain_scores_codex":[0.9824441,0.008550942,0.0006749525,0.00108536,0.006065663,0.001178913],"domain_scores_gemma":[0.9049729,0.07830208,0.002973021,0.004674836,0.00782282,0.001254431],"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.0007526081,0.0004602813,0.03045441,0.0004022898,0.0001622471,0.0003166985,0.0002204558,0.8613667,0.01362124,0.03853249,0.001051736,0.05265887],"study_design_scores_gemma":[0.0000350099,0.0002118604,0.001351832,0.00003128546,0.0000266449,0.0000513349,0.00003948235,0.9893798,0.003728708,0.004859857,0.0002734408,0.00001070293],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4437405,0.0006471671,0.5420554,0.000415646,0.0000389686,0.0003782766,0.0002986045,0.00138096,0.0110444],"genre_scores_gemma":[0.9364982,0.00007531751,0.06222618,0.00009485145,0.00001437162,0.0001520191,0.0003784034,0.0001334367,0.0004271685],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01622054,"threshold_uncertainty_score":0.06142068,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2588067781531558,"score_gpt":0.4076255821686803,"score_spread":0.1488188040155246,"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."}}