{"id":"W2092844858","doi":"10.1016/j.scico.2006.04.008","title":"Using source transformation to test and model check implicit-invocation systems","year":2006,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Programming language; Executable; Model transformation; Transformation (genetics); Invocation; Program transformation; Source code; Software system; Software engineering; Software; Artificial intelligence","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.001524627,0.0001268136,0.0001546025,0.0003276184,0.000276227,0.0004954004,0.0007594745,0.00004207403,7.792961e-8],"category_scores_gemma":[0.00003471442,0.0001245105,0.00002685989,0.001306543,0.0001582336,0.001836983,0.0001734595,0.00006823852,0.000001726415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009180055,"about_ca_system_score_gemma":0.000120676,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000133614,"about_ca_topic_score_gemma":0.000002289265,"domain_scores_codex":[0.9983019,0.00003250551,0.0004144496,0.0003977397,0.0005041966,0.000349238],"domain_scores_gemma":[0.9990104,0.00003879872,0.0001862382,0.000391527,0.0002731416,0.00009991365],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000256003,0.0000975509,0.0003260218,0.0001056576,0.000002005921,2.141436e-7,0.002308706,0.4472805,0.06313112,0.1442007,0.000006417387,0.3425385],"study_design_scores_gemma":[0.00009311921,0.00009891794,0.0007525003,0.00005308452,0.000003244133,0.00001976336,0.00004293093,0.9858558,0.01203167,0.0007842932,0.0001235501,0.0001411396],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1815115,0.00002680308,0.8176207,0.0000683266,0.0001751004,0.0003972537,4.977092e-7,0.0001049888,0.000094875],"genre_scores_gemma":[0.4820229,4.238469e-7,0.517915,0.00001250069,0.00003173157,0.000009955472,4.586696e-7,0.000003616805,0.000003446189],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5385753,"threshold_uncertainty_score":0.5077392,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03677212379515102,"score_gpt":0.3087086050178904,"score_spread":0.2719364812227394,"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."}}