{"id":"W2103745340","doi":"10.1109/ase.2002.1115029","title":"Adding value to formal test oracles","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Test (biology); Programming language; Code coverage; Value (mathematics); Test case; Test Management Approach; Keyword-driven testing; Process (computing); Formal verification; Test harness; Software engineering; Software; Theoretical computer science; Software development; Machine learning; Software construction","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01782087,0.002261241,0.002076043,0.004459186,0.0008745177,0.007902778,0.003998416,0.003367445,0.004179183],"category_scores_gemma":[0.1588996,0.001372594,0.001986107,0.002491207,0.008383112,0.01827943,0.006618869,0.006105619,0.001118059],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002413563,"about_ca_system_score_gemma":0.00217661,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000937834,"about_ca_topic_score_gemma":0.0009922397,"domain_scores_codex":[0.9553263,0.02152978,0.003464555,0.003070919,0.01439208,0.002216478],"domain_scores_gemma":[0.8211972,0.1232283,0.005970704,0.03514742,0.01263558,0.00182076],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003090029,0.0001694483,0.005310165,0.0007946141,0.0001402826,0.0005196958,0.0008590919,0.04481525,0.006142762,0.6730964,0.004703493,0.2631398],"study_design_scores_gemma":[0.0001413666,0.0003228101,0.0007902375,0.0005043902,0.0002012737,0.000647024,0.0001865065,0.2027954,0.01459553,0.7387735,0.04087986,0.0001620466],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01033791,0.000654143,0.9773064,0.001618983,0.0002579421,0.0001145052,0.0001510774,0.004405422,0.005153611],"genre_scores_gemma":[0.3850959,0.0008783027,0.6072949,0.001375839,0.0006231087,0.0004215589,0.000694047,0.00145257,0.002163824],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01782087,"threshold_uncertainty_score":0.09424692,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03135776340264899,"score_gpt":0.253540257676668,"score_spread":0.2221824942740191,"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."}}