{"id":"W2086038725","doi":"10.1134/s0361768812040019","title":"FSM-based testing from user defined faults adapted to incremental and mutation testing","year":2012,"lang":"en","type":"article","venue":"Programming and Computer Software","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Test suite; Computer science; Model-based testing; Finite-state machine; Code coverage; Test case; Suite; Fault coverage; Polynomial; State (computer science); Algorithm; Programming language; Mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001688435,0.0007120333,0.0006619908,0.001298101,0.0002949152,0.0005854526,0.001407336,0.001014166,0.001094096],"category_scores_gemma":[0.01020031,0.0003140042,0.001046487,0.0009575745,0.001265379,0.0010665,0.0009332782,0.0009745294,0.0002222404],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009926175,"about_ca_system_score_gemma":0.0009102017,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001445092,"about_ca_topic_score_gemma":0.001299954,"domain_scores_codex":[0.9975097,0.0009706316,0.0001436079,0.0002265933,0.000988586,0.0001607682],"domain_scores_gemma":[0.9930304,0.00506802,0.0003913882,0.0009204357,0.0004773675,0.00011245],"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.000287013,0.00027796,0.003128084,0.0003676086,0.0001044149,0.0009008981,0.0002578808,0.6607144,0.04193057,0.04496128,0.001538647,0.2455311],"study_design_scores_gemma":[0.00003708857,0.0001499409,0.0004943887,0.00001922048,0.00003132752,0.0002323693,0.00001332469,0.959386,0.01604936,0.02245588,0.001117436,0.0000137088],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05202641,0.000166223,0.9445213,0.0001276069,0.00002308384,0.0001144698,0.00007001108,0.001738574,0.001212349],"genre_scores_gemma":[0.6145592,0.0001240576,0.3832564,0.0001231633,0.00003316028,0.000273619,0.0004645405,0.0002537621,0.0009121012],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001688435,"threshold_uncertainty_score":0.008929431,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03916450472699132,"score_gpt":0.257903538071684,"score_spread":0.2187390333446927,"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."}}