{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006076111,0.003382483,0.002728912,0.002335398,0.001347304,0.005276554,0.008252964,0.002914923,0.01855],"category_scores_gemma":[0.01941569,0.00392644,0.003742582,0.001491598,0.002784384,0.008338798,0.004270942,0.005356034,0.005649337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002127454,"about_ca_system_score_gemma":0.003974049,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006154794,"about_ca_topic_score_gemma":0.008816345,"domain_scores_codex":[0.9936178,0.001653725,0.0005325283,0.001324164,0.00228437,0.0005874385],"domain_scores_gemma":[0.9878181,0.006296372,0.0008797426,0.003273213,0.001337213,0.00039528],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002824418,0.000353747,0.003392455,0.002211512,0.0005482401,0.0007088089,0.0008782167,0.1162205,0.03763233,0.175357,0.06011127,0.5997615],"study_design_scores_gemma":[0.0004436851,0.0002720369,0.0005481979,0.0002936956,0.0003618995,0.0004578771,0.00009046883,0.7648379,0.05481756,0.1102888,0.06733685,0.0002510285],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00181876,0.0002765004,0.9262967,0.00009818617,0.0001052582,0.00009190301,0.000287362,0.0693026,0.001722818],"genre_scores_gemma":[0.07930417,0.000272128,0.9026127,0.000231976,0.0001501208,0.0003248612,0.001034967,0.01165574,0.004413326],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01855,"threshold_uncertainty_score":0.06205595,"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."}}