{"id":"W2128641101","doi":"10.1109/ias.2007.45","title":"Team Edit Automata for Testing Security Property","year":2007,"lang":"en","type":"article","venue":"","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Automaton; Pointer (user interface); Theoretical computer science; Component (thermodynamics); Software security assurance; Programming language; Property (philosophy); Software; Software engineering; Information security; Computer security; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005960351,0.00009411896,0.00008971057,0.00007534769,0.0001296996,0.00005888963,0.0005073983,0.00005201793,0.000004207031],"category_scores_gemma":[0.0004298048,0.00006398268,0.00003260933,0.0003233601,0.0000231665,0.0005285699,0.0002000948,0.00008933408,0.00001220401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005399425,"about_ca_system_score_gemma":0.00003403523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002960622,"about_ca_topic_score_gemma":0.00001861333,"domain_scores_codex":[0.9990759,0.000008341563,0.0001841552,0.000304737,0.0001487925,0.0002780542],"domain_scores_gemma":[0.9990617,0.0002112781,0.00006229245,0.0004151292,0.0001809113,0.00006869389],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000012382,0.0001187631,0.000230694,0.0000504102,0.000006919093,0.000007568365,0.0002277288,0.00001099316,0.009891706,0.02542677,0.03276401,0.9312521],"study_design_scores_gemma":[0.0004115249,0.0005222312,0.0003893382,0.00003113757,0.000003356326,0.00008387227,0.000035327,0.1560499,0.4853335,0.07567672,0.281015,0.0004480762],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003101088,0.000005340032,0.9719148,0.0002067349,0.0002762902,0.0003854055,0.000001004694,0.003304169,0.02359619],"genre_scores_gemma":[0.14847,5.429632e-7,0.8498561,0.0003299891,0.0001630155,0.00004015594,5.030005e-7,0.000008934582,0.001130695],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.930804,"threshold_uncertainty_score":0.2609138,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02565047535849109,"score_gpt":0.2890511956063808,"score_spread":0.2634007202478897,"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."}}