{"id":"W2096771792","doi":"10.1109/dsd.2011.57","title":"Mutant Fault Injection in Functional Properties of a Model to Improve Coverage Metrics","year":2011,"lang":"en","type":"article","venue":"","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Model checking; Metric (unit); Mutation testing; Formal verification; Code coverage; Mutation; Fault injection; Code (set theory); Process (computing); Algorithm; Reliability engineering; Theoretical computer science; Software; Programming language; Set (abstract data type); 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.002696884,0.001136212,0.0008204581,0.002091228,0.000287364,0.0008861244,0.001013516,0.0008747022,0.001138204],"category_scores_gemma":[0.01530962,0.0004622844,0.00105687,0.0006631884,0.0008084648,0.001858466,0.0009288998,0.0009049265,0.000160124],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001148912,"about_ca_system_score_gemma":0.0009141053,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002000066,"about_ca_topic_score_gemma":0.001869185,"domain_scores_codex":[0.9967312,0.0009516099,0.0002342654,0.0003609353,0.001515415,0.0002065513],"domain_scores_gemma":[0.9853837,0.009122286,0.001632976,0.002380516,0.001368065,0.0001124736],"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.0003336296,0.0002643667,0.01319117,0.0002891413,0.0001398819,0.0005378358,0.0003428201,0.6503574,0.1874838,0.02535698,0.0005574885,0.1211455],"study_design_scores_gemma":[0.00002021484,0.0002123567,0.0009972688,0.00003000479,0.00005342779,0.0001947738,0.00002063049,0.8988954,0.09224136,0.006138656,0.001174599,0.00002135063],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1278693,0.0001675916,0.8676423,0.0001234736,0.00002196022,0.00009386263,0.00006931525,0.002764888,0.001247399],"genre_scores_gemma":[0.6918441,0.0001051463,0.3067081,0.00007270834,0.00001125613,0.000101516,0.0001796212,0.0004477793,0.0005298285],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002696884,"threshold_uncertainty_score":0.01426268,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02349462384093276,"score_gpt":0.1996632037170961,"score_spread":0.1761685798761633,"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."}}