{"id":"W2013029218","doi":"10.1007/s10836-010-5148-9","title":"Defining and Providing Coverage for Assertion-Based Dynamic Verification","year":2010,"lang":"en","type":"article","venue":"Journal of Electronic Testing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University; CMC Microsystems (Canada)","funders":"","keywords":"Assertion; Nondeterministic algorithm; Computer science; Programming language; Automaton; Property (philosophy); Key (lock); Code coverage; Theoretical computer science; Algorithm; Software; Computer security","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.001864417,0.00008147553,0.0001195963,0.0001226929,0.0001632395,0.0001325461,0.0003187247,0.00005202014,6.424312e-7],"category_scores_gemma":[0.003055879,0.00007711703,0.00003859535,0.0002388931,0.0000190807,0.0006019606,0.00001953731,0.0003794322,5.474477e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001011037,"about_ca_system_score_gemma":0.0004359068,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002169957,"about_ca_topic_score_gemma":0.000003656192,"domain_scores_codex":[0.9990627,0.0000470958,0.0003422333,0.0001447182,0.000156802,0.000246502],"domain_scores_gemma":[0.9982495,0.0006723508,0.0005739119,0.0001743705,0.0002801931,0.00004970773],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004536539,0.00007154125,0.004727962,0.00008395962,0.00002296048,0.00000220617,0.0002300757,0.004417538,0.3914104,0.224985,0.00001402943,0.373989],"study_design_scores_gemma":[0.0003933299,0.000383425,0.007802136,0.00004311041,0.00001262618,0.0001227636,0.000007228978,0.9713351,0.01079489,0.008681653,0.0003208338,0.0001028975],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3136696,0.0001105779,0.6857036,0.0001617362,0.000183746,0.00008864866,2.535737e-7,0.00002743524,0.00005442703],"genre_scores_gemma":[0.5544883,9.730479e-7,0.445441,0.00003026235,0.00002650877,0.000004624008,3.964373e-7,0.000005281734,0.000002656833],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9669176,"threshold_uncertainty_score":0.3658393,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0142140174867951,"score_gpt":0.2958769194560997,"score_spread":0.2816629019693045,"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."}}