{"id":"W1503243085","doi":"","title":"SCL: a language for security testing of network applications","year":2005,"lang":"en","type":"article","venue":"Conference of the Centre for Advanced Studies on Collaborative Research","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University; Royal Military College of Canada","funders":"","keywords":"Computer science; Syntax; Programming language; Abstract syntax tree; Abstract syntax; Protocol (science); 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.004843262,0.002478049,0.001208196,0.003228431,0.001202892,0.004251471,0.003943453,0.002495247,0.01697157],"category_scores_gemma":[0.01004437,0.002025435,0.00269062,0.002280341,0.003367413,0.005269803,0.002517034,0.004784247,0.008051218],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001875082,"about_ca_system_score_gemma":0.004170573,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005255555,"about_ca_topic_score_gemma":0.004542542,"domain_scores_codex":[0.9948027,0.001570036,0.001111974,0.0005093308,0.001657992,0.0003479769],"domain_scores_gemma":[0.991133,0.005061804,0.0007819706,0.001079622,0.00164424,0.0002994541],"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.0005018877,0.0003401163,0.002107039,0.002989856,0.0001561202,0.002113806,0.002983373,0.0449469,0.02351173,0.4826909,0.2265043,0.2111539],"study_design_scores_gemma":[0.0003399723,0.0002772961,0.0006407027,0.0008623838,0.0000877458,0.002477088,0.0003215447,0.1455313,0.02016488,0.2055162,0.6235393,0.0002415583],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001873859,0.0001984122,0.935042,0.000597815,0.0001167195,0.0004996163,0.003676127,0.05091685,0.007078653],"genre_scores_gemma":[0.05877261,0.0008233215,0.8894613,0.001601518,0.0002618796,0.002902844,0.01454838,0.01723815,0.01438995],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01697157,"threshold_uncertainty_score":0.05677551,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1341926941477668,"score_gpt":0.4334524182713786,"score_spread":0.2992597241236118,"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."}}