{"id":"W2007846881","doi":"10.1007/s10009-010-0183-5","title":"The Clara framework for hybrid typestate analysis","year":2010,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Static analysis; Runtime verification; AspectJ; Property (philosophy); State (computer science); Dependency (UML); Programming language; Program analysis; Field (mathematics); Distributed computing; Formal verification; Software engineering; Aspect-oriented programming; Software","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.004071029,0.001264869,0.00160199,0.003781238,0.00190535,0.005918367,0.004539903,0.00176077,0.02973786],"category_scores_gemma":[0.009969069,0.001804499,0.00456673,0.003051941,0.002515434,0.007904973,0.004684014,0.004858884,0.009099188],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001789203,"about_ca_system_score_gemma":0.002481151,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002425133,"about_ca_topic_score_gemma":0.003708491,"domain_scores_codex":[0.9958187,0.001051932,0.0003666608,0.0007594273,0.001632254,0.0003710646],"domain_scores_gemma":[0.9952132,0.001902161,0.0002091898,0.001697222,0.0008427644,0.000135461],"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.0001252385,0.00004962222,0.0004116003,0.0003391677,0.00008570543,0.0001214677,0.0002630514,0.00874813,0.00250776,0.8341739,0.01288002,0.1402943],"study_design_scores_gemma":[0.0000523377,0.00002878317,0.0001703429,0.0001702919,0.00009497102,0.0002437766,0.0001069394,0.104648,0.006085386,0.7751384,0.1131944,0.00006635777],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008164031,0.0001468436,0.9896264,0.0001543998,0.00005750861,0.00004838643,0.0002734635,0.005148595,0.003727964],"genre_scores_gemma":[0.05088848,0.000315391,0.936085,0.0002896689,0.00015341,0.0002873796,0.001163104,0.003913012,0.006904604],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02973786,"threshold_uncertainty_score":0.09948307,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01957665836404231,"score_gpt":0.290065488886945,"score_spread":0.2704888305229027,"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."}}