{"id":"W2000579079","doi":"10.1016/s0167-6423(99)00046-5","title":"A calculus of program adaptation and its applications","year":2000,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke; Université Laval","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Software engineering; Software development; Programming language; Reuse; Component-based software engineering; Software construction; Adaptation (eye); Software","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.002943888,0.001130658,0.001103398,0.002258033,0.002537298,0.003757518,0.002402404,0.002412917,0.004931535],"category_scores_gemma":[0.01108608,0.0009756139,0.002064429,0.003462033,0.008414135,0.007836757,0.004126554,0.005934126,0.0009489742],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002394257,"about_ca_system_score_gemma":0.001479882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003587384,"about_ca_topic_score_gemma":0.001943619,"domain_scores_codex":[0.9978971,0.0006517857,0.0001530057,0.0004660412,0.0006077895,0.0002242884],"domain_scores_gemma":[0.9952696,0.002849124,0.000275558,0.000825732,0.0005359016,0.0002440372],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000008094821,0.000008399986,0.00006918294,0.00002034543,0.000004660237,0.00006001496,0.0001387567,0.001490075,0.0002615238,0.9896344,0.0007516358,0.007552911],"study_design_scores_gemma":[0.000007233008,0.000006249869,0.00005635638,0.00001208594,0.00001070476,0.00007295645,0.0000230207,0.01028731,0.0002090657,0.9839871,0.005316873,0.00001104694],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008103387,0.001724417,0.9636897,0.001594112,0.0003184052,0.0000382292,0.00008779499,0.0007602397,0.02368369],"genre_scores_gemma":[0.5086485,0.003693892,0.465607,0.001289163,0.00113939,0.0003401663,0.0002099823,0.0004642074,0.01860777],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004931535,"threshold_uncertainty_score":0.01737165,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02702946033575281,"score_gpt":0.2934595954531705,"score_spread":0.2664301351174176,"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."}}