{"id":"W1582795712","doi":"10.1007/b95400","title":"Formal approaches to software testing : third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised papers","year":2004,"lang":"en","type":"book","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"White-box testing; Computer science; Test Management Approach; Non-regression testing; Keyword-driven testing; Manual testing; Model-based testing; Programming language; Test script; System integration testing; Software engineering; Black-box testing; Regression testing; Test case; Code coverage; Test strategy; Conformance testing; Software reliability testing; Software testing; Software; Software system; Software development; Operating system; Software quality; Software construction; Machine learning","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002424904,0.001743434,0.001500642,0.002987378,0.001094831,0.004936352,0.002284678,0.001303352,0.0294273],"category_scores_gemma":[0.004256587,0.001161451,0.0008074775,0.004447476,0.00261394,0.003036908,0.0008459412,0.002068615,0.006225046],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008479737,"about_ca_system_score_gemma":0.008880382,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.209365,"about_ca_topic_score_gemma":0.3089982,"domain_scores_codex":[0.9987166,0.0001708618,0.00007793961,0.0001632328,0.0007312719,0.0001401029],"domain_scores_gemma":[0.9967635,0.0009692246,0.0000963676,0.000250549,0.001679079,0.0002412617],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00007837181,0.00008895939,0.0003579464,0.0008725344,0.00003028062,0.0001079008,0.0006753505,0.004104725,0.002563986,0.04505466,0.5796781,0.3663872],"study_design_scores_gemma":[0.00008562041,0.00007785796,0.00194182,0.0008210537,0.00005638719,0.0004377613,0.000272199,0.009156832,0.003476295,0.04889759,0.9347066,0.00006993474],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.005755624,0.2677196,0.5180172,0.02501331,0.01796461,0.0005067694,0.00307493,0.005800736,0.1561473],"genre_scores_gemma":[0.05188944,0.142556,0.129987,0.002158007,0.003407448,0.0003324849,0.005264045,0.002925861,0.6614797],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.209365,"threshold_uncertainty_score":0.4162928,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1095830189225916,"score_gpt":0.2353890987012183,"score_spread":0.1258060797786267,"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."}}