{"id":"W2122260303","doi":"10.1109/rtcsa.1999.811206","title":"Fault coverage in testing real-time systems","year":2003,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University; Université de Montréal","funders":"","keywords":"Computer science; Fault coverage; Test suite; Reliability engineering; Fault (geology); Real-time computing; Software quality; Suite; Software fault tolerance; Software; Fault model; System under test; System testing; Test case; Software development; Engineering; Software engineering; Programming language","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.0005931046,0.0001008821,0.0001358063,0.000106821,0.00005262043,0.0001524076,0.000363507,0.00004923555,0.000005402451],"category_scores_gemma":[0.001147804,0.00008973294,0.00001828593,0.0005525826,0.00001239913,0.0001937309,0.00006732764,0.00008658308,0.00007717183],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004783563,"about_ca_system_score_gemma":0.00005666992,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008122538,"about_ca_topic_score_gemma":0.000002124596,"domain_scores_codex":[0.9990224,0.00009466491,0.0002014441,0.0002770533,0.0001590392,0.0002453508],"domain_scores_gemma":[0.9987838,0.0006543694,0.00005243877,0.0003983908,0.00005876644,0.00005223714],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006312976,0.0005433117,0.3410393,0.0001981429,0.00002757961,0.0007826124,0.00140229,0.006503278,0.01214915,0.4168423,0.1426043,0.07790146],"study_design_scores_gemma":[0.0008139285,0.000303716,0.01214555,0.0005288435,0.000004993379,0.000501854,0.00001189569,0.8636096,0.003907878,0.1137535,0.003277293,0.00114099],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03775778,0.0000675929,0.7001639,0.00006107739,0.000236117,0.0002397292,5.3973e-7,0.02235934,0.239114],"genre_scores_gemma":[0.6845529,0.000002497967,0.3144568,0.00008036537,0.00001292067,0.00001514086,3.172066e-7,0.00000783156,0.0008712037],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8571063,"threshold_uncertainty_score":0.3659203,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02598054167110785,"score_gpt":0.2526553932488752,"score_spread":0.2266748515777673,"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."}}