{"id":"W2160917074","doi":"10.1142/s0218194013500113","title":"USING TEST ORACLES AND FORMAL SPECIFICATIONS WITH TEST-DRIVEN DEVELOPMENT","year":2013,"lang":"en","type":"article","venue":"International Journal of Software Engineering and Knowledge Engineering","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Computer science; Documentation; Software engineering; Formal specification; Programming language; Test (biology); Formal methods; Test case; Notation; Test Management Approach; Test-driven development; Test suite; Process (computing); Software development; Software; Software construction","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.0001743814,0.0001738861,0.0001701038,0.0003606291,0.00006354393,0.0002377561,0.0003906489,0.00004725447,0.000002080709],"category_scores_gemma":[0.0008393768,0.0001509087,0.0000281001,0.0001636231,0.00002019804,0.000770096,0.0001657766,0.0002058364,0.000002621879],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008462579,"about_ca_system_score_gemma":0.00008126401,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004607523,"about_ca_topic_score_gemma":6.102732e-7,"domain_scores_codex":[0.9991348,0.000004495805,0.0002928604,0.0001559928,0.0002113228,0.0002005706],"domain_scores_gemma":[0.9984878,0.0006985707,0.0001191006,0.0001170674,0.0004394837,0.0001379764],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002547327,0.0009436111,0.3537851,0.0007209812,0.001063641,0.0004258836,0.0111215,0.1330658,0.02549182,0.005627239,0.002769676,0.4649592],"study_design_scores_gemma":[0.0007237325,0.0002184264,0.09928853,0.001450495,0.00002481001,0.002587978,0.00002457115,0.8877592,0.003177342,0.0001789016,0.003921584,0.0006443926],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1278666,0.0004666798,0.8705345,0.0000727662,0.0002443467,0.00006092234,0.000001259951,0.0007427751,0.00001015617],"genre_scores_gemma":[0.5026001,0.00001896113,0.4972406,0.000005592654,0.0001057747,0.000004769939,4.891074e-7,0.00001363006,0.00001014348],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7546934,"threshold_uncertainty_score":0.6153878,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02605635714459632,"score_gpt":0.2394550303039406,"score_spread":0.2133986731593443,"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."}}