{"id":"W2913863212","doi":"10.1007/s11219-019-9440-3","title":"Fault model-driven testing from FSM with symbolic inputs","year":2019,"lang":"en","type":"article","venue":"Software Quality Journal","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Finite-state machine; Test suite; Computer science; Symbolic execution; Implementation; Fault model; Fault injection; Fault (geology); Set (abstract data type); Model-based testing; Theoretical computer science; Fault coverage; Process (computing); Constraint (computer-aided design); Algorithm; Programming language; Test case; Software; Engineering; Machine learning","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.0009903419,0.0003028931,0.0004281538,0.0001657952,0.0003306573,0.0005436343,0.001424583,0.0001409071,0.00001756029],"category_scores_gemma":[0.001274496,0.000242503,0.0001118445,0.0005173126,0.00006503629,0.0007943929,0.0003204677,0.0007953312,0.00009625396],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001276101,"about_ca_system_score_gemma":0.0003917236,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002230959,"about_ca_topic_score_gemma":0.000008632122,"domain_scores_codex":[0.9972501,0.0002435857,0.0005736787,0.0005675721,0.0008159775,0.0005491035],"domain_scores_gemma":[0.9965021,0.001255093,0.0004818724,0.0009599077,0.0005167761,0.0002842793],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005778718,0.0002620022,0.8400493,0.0000853286,0.0001569983,0.0001684391,0.005117735,0.02079071,0.0009114402,0.002108641,0.008331842,0.1219597],"study_design_scores_gemma":[0.002792967,0.001030286,0.07412617,0.001940829,0.00006784285,0.001551297,0.00005828901,0.4669346,0.001285333,0.4469893,0.0008049225,0.002418164],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2594619,0.00006619382,0.7339607,0.0003539538,0.0002013466,0.0001199614,0.00000895074,0.005599815,0.0002271594],"genre_scores_gemma":[0.4411423,0.000002607856,0.557918,0.0007083543,0.0001129347,0.000004969568,0.00000307051,0.00002214941,0.00008561619],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7659231,"threshold_uncertainty_score":0.9888987,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04442702861597696,"score_gpt":0.2917870870988619,"score_spread":0.2473600584828849,"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."}}