{"id":"W2083965123","doi":"10.1007/s10009-012-0240-3","title":"Model-based testing of software and systems: recent advances and challenges","year":2012,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Computer science; Software testing; Variety (cybernetics); System integration testing; Software engineering; Automation; Software; Test strategy; Model-based testing; Software performance testing; Software system; Data science; Software construction; Test case; Artificial intelligence; Machine learning; 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.01015729,0.00124062,0.002593951,0.002511676,0.000335767,0.0036023,0.005114042,0.002538754,0.002421341],"category_scores_gemma":[0.02225253,0.0006378231,0.001074794,0.003083305,0.003010423,0.00788141,0.002395743,0.002447246,0.000642589],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001471828,"about_ca_system_score_gemma":0.001666195,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001515017,"about_ca_topic_score_gemma":0.001341657,"domain_scores_codex":[0.9899709,0.003906097,0.0004587726,0.0009270263,0.004453023,0.0002843231],"domain_scores_gemma":[0.9530092,0.03660307,0.001895274,0.003694962,0.004075221,0.0007222961],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002687458,0.0004421946,0.006715571,0.002404834,0.0001936606,0.000134173,0.0002752664,0.03469002,0.005659434,0.07114585,0.005469539,0.8726008],"study_design_scores_gemma":[0.0001647775,0.001101443,0.006150268,0.002221374,0.0003093808,0.001981988,0.0007785218,0.6018795,0.01122449,0.2944967,0.07953287,0.0001586824],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.04658733,0.2908552,0.6293575,0.01414812,0.000845782,0.0001175537,0.000159727,0.001939004,0.01598983],"genre_scores_gemma":[0.624386,0.1564972,0.2094387,0.002146267,0.002082765,0.0002176875,0.0007312492,0.0005967135,0.003903292],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.01015729,"threshold_uncertainty_score":0.05371749,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09062809914528827,"score_gpt":0.3066170323655871,"score_spread":0.2159889332202988,"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."}}