{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003980462,0.0009420252,0.001028731,0.003991861,0.0004890076,0.001574052,0.00156981,0.001538483,0.001514522],"category_scores_gemma":[0.02956248,0.0005191653,0.001107379,0.00228737,0.002523187,0.003183514,0.001191161,0.0009384942,0.0001955337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00188237,"about_ca_system_score_gemma":0.0009606553,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006971925,"about_ca_topic_score_gemma":0.002105505,"domain_scores_codex":[0.9927528,0.002896762,0.0005081051,0.0008744363,0.002455202,0.000512747],"domain_scores_gemma":[0.9613999,0.03199609,0.00210775,0.002336509,0.00174266,0.0004171294],"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.0003929791,0.0001741808,0.01825802,0.0004457948,0.0001801071,0.0007090698,0.0006443194,0.8417647,0.01107744,0.06690256,0.0007915433,0.05865924],"study_design_scores_gemma":[0.00003050905,0.0002019742,0.00183371,0.00007462157,0.00005761548,0.0003062754,0.00008462266,0.9419209,0.005717854,0.04906543,0.000686308,0.00002019175],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2076062,0.001505157,0.7863705,0.0004834688,0.00004062983,0.0000538094,0.0002525858,0.0007630272,0.002924763],"genre_scores_gemma":[0.9548287,0.0004906183,0.04347679,0.00006489579,0.00005889589,0.0001068735,0.000318251,0.0001148569,0.0005401786],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006971925,"threshold_uncertainty_score":0.02105093,"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."}}