{"id":"W2142266413","doi":"10.5555/998675.999415","title":"Using simulation to empirically investigate test coverage criteria based on statechart","year":2004,"lang":"en","type":"article","venue":"International Conference on Software Engineering","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":81,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Code coverage; Class (philosophy); Test (biology); Test case; Reliability engineering; Fault detection and isolation; Test strategy; Data mining; Machine learning; Artificial intelligence; Programming language; Software; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01624715,0.0009200234,0.0007054651,0.003202317,0.0004137338,0.001521469,0.00106193,0.001380793,0.001719989],"category_scores_gemma":[0.1230567,0.0004647213,0.0009635579,0.002778782,0.001019205,0.002487482,0.0009162495,0.001040766,0.0001414236],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002767218,"about_ca_system_score_gemma":0.00134342,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004847192,"about_ca_topic_score_gemma":0.005274597,"domain_scores_codex":[0.9864815,0.009789949,0.0007214919,0.000617566,0.001873933,0.0005155331],"domain_scores_gemma":[0.6261046,0.353396,0.007147089,0.0067996,0.006010451,0.0005422574],"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.0008560826,0.0006528771,0.05660278,0.0002729327,0.0003844672,0.0001144685,0.0004304375,0.8989832,0.001987103,0.01774184,0.0004017212,0.02157218],"study_design_scores_gemma":[0.0001006258,0.001243089,0.01072382,0.00006765802,0.0001399374,0.00008806279,0.0002654979,0.9747321,0.003218948,0.008781188,0.0006017736,0.00003743161],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.920634,0.0003506327,0.072308,0.0002797819,0.0000155279,0.0003514563,0.0005394383,0.0001734687,0.005347793],"genre_scores_gemma":[0.9843237,0.00008664277,0.01499774,0.00002025706,0.000003455101,0.0002076251,0.0002296073,0.00001275745,0.0001183195],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01624715,"threshold_uncertainty_score":0.08592421,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08716524489143154,"score_gpt":0.3492094312045713,"score_spread":0.2620441863131397,"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."}}