{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01099275,0.001484365,0.00193924,0.003271172,0.001120342,0.004860887,0.003767149,0.002739083,0.003957711],"category_scores_gemma":[0.05408948,0.00207938,0.002791637,0.001374437,0.004036086,0.009543282,0.01123971,0.003912586,0.001496126],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001096297,"about_ca_system_score_gemma":0.002540653,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001821719,"about_ca_topic_score_gemma":0.001736262,"domain_scores_codex":[0.9716647,0.007431926,0.00268756,0.002404371,0.01260357,0.003207787],"domain_scores_gemma":[0.920869,0.05011537,0.003050092,0.01568789,0.009188879,0.001088776],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001287618,0.0008215203,0.02086729,0.001321474,0.0005521737,0.002729867,0.003776032,0.1714026,0.0680779,0.438116,0.00785243,0.283195],"study_design_scores_gemma":[0.0001479155,0.0002422638,0.001049533,0.0003009612,0.0003492765,0.0007546635,0.0003897847,0.627853,0.06866106,0.2888378,0.01129958,0.0001142604],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03723065,0.000193921,0.9531071,0.0004264113,0.0000597274,0.0001568202,0.0002845188,0.004891898,0.003649016],"genre_scores_gemma":[0.6721205,0.0002233687,0.3228683,0.0003446394,0.0001945897,0.0002988824,0.00102006,0.001433368,0.001496207],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01099275,"threshold_uncertainty_score":0.05813593,"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."}}