{"id":"W4245597843","doi":"10.1145/949952.940083","title":"Evaluating and improving the automatic analysis of implicit invocation systems","year":2003,"lang":"en","type":"article","venue":"ACM SIGSOFT Software Engineering Notes","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Model checking; Invocation; Software system; Programming language; Distributed computing; Event (particle physics); Focus (optics); Abstraction model checking; Software; Software engineering","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":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.001686835,0.000137073,0.0002294835,0.0002364925,0.0001009083,0.0001131184,0.0006024782,0.00005914885,0.000002420286],"category_scores_gemma":[0.1238308,0.0001111098,0.0000588314,0.00108211,0.00002403559,0.0003361589,0.0001423826,0.0001094096,0.000001616868],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004538152,"about_ca_system_score_gemma":0.00003696555,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005758899,"about_ca_topic_score_gemma":7.648467e-7,"domain_scores_codex":[0.9987804,0.0001218309,0.0003684566,0.0002648128,0.0002716345,0.000192873],"domain_scores_gemma":[0.9799736,0.01851465,0.0002328203,0.001092172,0.000139186,0.0000476234],"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.000003041726,0.00006370955,0.2886082,0.001165209,0.0008599089,0.000001680658,0.006037118,0.3116067,0.05570924,0.1115848,0.00001099125,0.2243494],"study_design_scores_gemma":[0.00007547122,0.0000387961,0.1901251,0.0000406497,0.0001666127,0.000007390454,0.00002701488,0.8044924,0.004819718,0.00004873837,0.00001182101,0.0001462775],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3962467,0.0004093503,0.602868,0.00001255865,0.0001500694,0.0001355319,0.000001324956,0.0001755513,9.118701e-7],"genre_scores_gemma":[0.5859866,0.000003150331,0.4139529,0.000009612247,0.000008442725,0.00002870864,0.00000157787,0.000007420469,0.000001623588],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4928857,"threshold_uncertainty_score":0.8835495,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04228780558525213,"score_gpt":0.3098395813063592,"score_spread":0.2675517757211071,"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."}}