{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003922613,0.001063702,0.0009316431,0.001503393,0.0007793542,0.001849078,0.00335405,0.001903918,0.004318787],"category_scores_gemma":[0.03159073,0.0008741732,0.001474286,0.0009513525,0.003211148,0.006116694,0.003412247,0.002615026,0.0008470172],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001151243,"about_ca_system_score_gemma":0.001852997,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001741805,"about_ca_topic_score_gemma":0.002128871,"domain_scores_codex":[0.9941102,0.002032951,0.0002851642,0.0005122427,0.002560626,0.0004988615],"domain_scores_gemma":[0.9706824,0.01906969,0.001271674,0.006635475,0.002076879,0.0002639177],"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.002002695,0.0009457537,0.01247692,0.000866192,0.0003087888,0.001459131,0.001667142,0.2441808,0.05930793,0.4393751,0.0066763,0.2307333],"study_design_scores_gemma":[0.0001985608,0.0001672062,0.0004210107,0.00004086434,0.0001066372,0.000170233,0.00006597438,0.7110426,0.07033656,0.2145689,0.002825097,0.00005627653],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0726221,0.00004857565,0.9125821,0.0002675228,0.00006803577,0.00007692446,0.00013695,0.01170509,0.002492697],"genre_scores_gemma":[0.8207131,0.00005871639,0.1741993,0.0001361759,0.00004200748,0.0001471149,0.0003107338,0.001947083,0.002445772],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004318787,"threshold_uncertainty_score":0.02074498,"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."}}