{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch","metaepi_narrow"],"consensus_categories":["metaepi_narrow"],"category_scores_codex":[0.001118517,0.001343491,0.001309449,0.0008432043,0.0005094138,0.0005344133,0.003601117,0.0006151471,0.00002697732],"category_scores_gemma":[0.01573879,0.001246137,0.000206327,0.002195599,0.000144,0.0009436582,0.001797045,0.001126012,0.00002012157],"about_ca_system_candidate":true,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00248522,"about_ca_system_score_gemma":0.01001821,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.1878932,"about_ca_topic_score_gemma":0.1770529,"domain_scores_codex":[0.9928864,0.0001042913,0.001589029,0.00188949,0.001846927,0.001683898],"domain_scores_gemma":[0.9928469,0.002486294,0.0009447199,0.001770147,0.001235357,0.0007165469],"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.00008707112,0.0002578869,0.00315657,0.0006147542,0.0002570711,0.0001202369,0.001221278,0.02273075,0.000003411114,0.004600806,0.3469099,0.6200402],"study_design_scores_gemma":[0.01358614,0.00836074,0.04656502,0.1225922,0.00197188,0.002015223,0.001085773,0.2386154,0.004372229,0.1067321,0.4050557,0.04904759],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001234837,0.0003972864,0.7838911,0.00106781,0.001046503,0.002742002,0.0001510468,0.01122438,0.1993564],"genre_scores_gemma":[0.001538083,0.000005356799,0.8597612,0.00205428,0.0004155712,0.00033364,0.0001863156,0.0001734561,0.1355321],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5709926,"threshold_uncertainty_score":0.9999316,"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."}}