{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005585232,0.0002000121,0.0002739789,0.000478027,0.0001269254,0.0001211829,0.0006612934,0.0001862121,9.31975e-7],"category_scores_gemma":[0.002390305,0.0001740273,0.00005450909,0.0001648788,0.0001462416,0.0007605766,0.00007102409,0.000283104,5.955527e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005886269,"about_ca_system_score_gemma":0.00006848658,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000103429,"about_ca_topic_score_gemma":5.375247e-7,"domain_scores_codex":[0.9986464,0.00003330564,0.000398442,0.000277717,0.0003347118,0.0003093914],"domain_scores_gemma":[0.9976711,0.001247352,0.0001271667,0.0002288893,0.0006240807,0.0001014434],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004513143,0.0001259648,0.01204493,0.0001290215,0.0000572957,0.000007597847,0.0001310409,0.0005487833,0.00006708664,0.0132204,0.00009431379,0.9735284],"study_design_scores_gemma":[0.01161899,0.007573233,0.01290987,0.008920372,0.0003358869,0.007205257,0.0003241542,0.1926237,0.02561154,0.5747255,0.1541057,0.004045667],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01592528,0.0211353,0.9580212,0.001927911,0.0005165031,0.0002006916,0.0000256443,0.002228619,0.00001888835],"genre_scores_gemma":[0.5096116,0.003302326,0.4867545,0.0001733362,0.00007412962,0.00005783578,0.000001983768,0.00002013079,0.000004079446],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9694828,"threshold_uncertainty_score":0.7096627,"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."}}