{"id":"W2343554492","doi":"","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 (LECTURE NOTES IN COMPUTER SCIENCE)","year":2004,"lang":"en","type":"book","venue":"Springer eBooks","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Software testing; Software engineering; Computer science; Formal methods; Library science; Software; Programming language","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.002399803,0.001527272,0.001354141,0.002108644,0.001187087,0.004326592,0.002057937,0.001186237,0.03059329],"category_scores_gemma":[0.002798757,0.001045688,0.0007982969,0.003783216,0.002552242,0.002408584,0.0008495346,0.001745366,0.004848554],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.009744861,"about_ca_system_score_gemma":0.01277441,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.3886456,"about_ca_topic_score_gemma":0.4841393,"domain_scores_codex":[0.998921,0.0001575145,0.00005368277,0.0001267208,0.0005788491,0.0001621973],"domain_scores_gemma":[0.9973253,0.0007161936,0.00008007819,0.0002315006,0.001420753,0.0002261527],"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.00009161774,0.00008827378,0.0005347047,0.0007570245,0.00002941375,0.0001239397,0.0009271168,0.005804956,0.003983154,0.0538186,0.4366894,0.4971519],"study_design_scores_gemma":[0.00008455293,0.00008124834,0.002913105,0.0008310889,0.00005522066,0.0003721734,0.0004094533,0.01543889,0.005228701,0.04244513,0.9320608,0.00007959878],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01029508,0.1803738,0.5907794,0.02143775,0.008165472,0.0005344675,0.00304193,0.007480931,0.1778913],"genre_scores_gemma":[0.08630306,0.08970094,0.1673359,0.001770236,0.001379052,0.000412928,0.005473277,0.003141901,0.6444827],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.3886456,"threshold_uncertainty_score":0.7727669,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0779619741570228,"score_gpt":0.232160084313528,"score_spread":0.1541981101565052,"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."}}