{"id":"W1593942753","doi":"10.1007/978-3-642-16612-9_15","title":"Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":56,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University; University of Waterloo","funders":"","keywords":"Computer science; Runtime verification; AspectJ; Compile time; Compiler; Residual; Static analysis; State (computer science); Runtime system; Property (philosophy); Programming language; Distributed computing; Aspect-oriented programming; Formal verification; Software; Algorithm","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002347048,0.0005633726,0.0007485481,0.0007376799,0.0003002384,0.0003783664,0.003494041,0.0005817633,0.0000125722],"category_scores_gemma":[0.002784244,0.0005274938,0.0002262264,0.0006015964,0.0007389392,0.0003420444,0.001102364,0.001243968,0.00002565282],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001135861,"about_ca_system_score_gemma":0.0007995393,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000365222,"about_ca_topic_score_gemma":0.000008941185,"domain_scores_codex":[0.9958861,0.0000495276,0.0008014248,0.001442985,0.001074517,0.0007453783],"domain_scores_gemma":[0.9911831,0.005572352,0.000681448,0.001755807,0.0006455021,0.0001618115],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002490764,0.00006684128,0.0002603936,0.0001272964,0.00002749519,0.0000387547,0.001688917,0.02487308,0.0008612599,0.005258704,0.00009833569,0.966674],"study_design_scores_gemma":[0.0001147152,0.0003410521,0.00003693792,0.0007965185,0.00001014105,0.00001622447,1.331137e-8,0.4046374,0.003613698,0.5899448,0.00009117711,0.0003973556],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003343325,0.0002253196,0.9950984,0.0003064836,0.00131566,0.000688157,0.0000136835,0.001867072,0.0001509105],"genre_scores_gemma":[0.04059374,0.000009661749,0.9583417,0.0004474495,0.000388946,0.00003546349,0.000004217802,0.00005052084,0.00012832],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9662766,"threshold_uncertainty_score":0.9997177,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03432342886606247,"score_gpt":0.3122384992071882,"score_spread":0.2779150703411257,"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."}}