{"id":"W2148177313","doi":"10.1109/iscas.2000.857100","title":"A methodology for validating digital circuits with mutation testing","year":2000,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Verilog; Mutation; Mutation testing; Functional testing; Hardware description language; VHDL; Task (project management); Digital electronics; Theoretical computer science; Computer engineering; Programming language; Reliability engineering; Electronic circuit; Embedded system; Field-programmable gate array; Engineering","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.0003769,0.00008676064,0.0001044324,0.0000520406,0.0001112736,0.0002065882,0.0002736394,0.00003183006,0.000007680263],"category_scores_gemma":[0.001207535,0.00006877821,0.00002090852,0.0002930606,0.00001997315,0.0004024602,0.00002780581,0.0000480031,0.000008953675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001342001,"about_ca_system_score_gemma":0.00003881361,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002770397,"about_ca_topic_score_gemma":0.000001014235,"domain_scores_codex":[0.9992644,0.00003425475,0.0001354091,0.0002713561,0.00009721574,0.0001974177],"domain_scores_gemma":[0.9972112,0.002369935,0.00005082923,0.0002272238,0.0001029202,0.00003794586],"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.000001746953,0.00001223866,0.001389934,0.000007484639,0.000004293664,0.000005693611,0.0002323565,0.0001103133,0.00006383918,0.001383268,0.0004087831,0.99638],"study_design_scores_gemma":[0.001135756,0.001872811,0.003062385,0.0002192376,0.00002461601,0.001468822,0.00003835281,0.4904318,0.01124567,0.488438,0.001103523,0.0009590539],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02011858,0.000005606994,0.964474,0.000100164,0.00002089715,0.000145127,9.241784e-7,0.008437551,0.006697112],"genre_scores_gemma":[0.358497,5.73323e-8,0.6411188,0.0001454923,0.00002160548,0.00002772185,0.000001920532,0.000006354185,0.0001811041],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.995421,"threshold_uncertainty_score":0.2804694,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1306905846849651,"score_gpt":0.3182956094134681,"score_spread":0.187605024728503,"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."}}