{"id":"W33337023","doi":"10.1007/978-0-387-35497-2_25","title":"Test Generation for CEFSM Combining Specification and Fault Coverage","year":2002,"lang":"en","type":"book-chapter","venue":"IFIP advances in information and communication technology","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"Computer Research Institute of Montréal","funders":"European Commission; Institut national de recherche en informatique et en automatique (INRIA)","keywords":"Nondeterministic algorithm; Computer science; Fault coverage; Reliability engineering; Code coverage; Cover (algebra); Fault (geology); Algorithm; Programming language; 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.001568557,0.001132825,0.0006500336,0.002488194,0.0002901962,0.0007411721,0.00159246,0.001422858,0.005116406],"category_scores_gemma":[0.006938513,0.0004335523,0.0008657504,0.0009105339,0.000681804,0.001045379,0.000843438,0.0007615653,0.0009835922],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006431699,"about_ca_system_score_gemma":0.0007533317,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001904055,"about_ca_topic_score_gemma":0.002065508,"domain_scores_codex":[0.9981632,0.0006246055,0.0001149573,0.0002407116,0.0006700706,0.0001865056],"domain_scores_gemma":[0.994822,0.0035669,0.0002174769,0.0005651146,0.0007603571,0.00006798292],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001074008,0.0003834479,0.00450055,0.0005576124,0.0001054137,0.0009316364,0.0002320636,0.2106322,0.07548265,0.02848729,0.0108061,0.666807],"study_design_scores_gemma":[0.0002395645,0.000330369,0.001013662,0.00006713517,0.00007137007,0.0005389169,0.0000388099,0.8690375,0.100531,0.02198492,0.006112319,0.00003442008],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04262513,0.0001502524,0.9442186,0.0001857811,0.00004987425,0.0001964222,0.0004388829,0.007251034,0.004884018],"genre_scores_gemma":[0.4754149,0.000089381,0.5179433,0.0002148381,0.0000377104,0.0003111476,0.001604943,0.001019107,0.003364691],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005116406,"threshold_uncertainty_score":0.01711607,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02360552203905127,"score_gpt":0.2605515167815273,"score_spread":0.236945994742476,"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."}}