{"id":"W4206348988","doi":"10.1109/isias.2007.4299780","title":"Team Edit Automata for Testing Security Property","year":2007,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Automaton; Pointer (user interface); Component (thermodynamics); Software security assurance; Theoretical computer science; Programming language; Software; Information security; Computer security; Artificial intelligence; Security service","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.001294622,0.00009235717,0.00009297938,0.00005941265,0.0002604354,0.0001524391,0.0007533547,0.00005601814,0.000006784179],"category_scores_gemma":[0.0004283834,0.00006596099,0.0000396802,0.0003713448,0.00002582172,0.0003387345,0.000190716,0.00009707623,0.00003231873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003581532,"about_ca_system_score_gemma":0.000066584,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004296185,"about_ca_topic_score_gemma":0.000008663434,"domain_scores_codex":[0.9988992,0.00001608995,0.0002488873,0.000338359,0.0001830655,0.0003143898],"domain_scores_gemma":[0.9986981,0.0005034361,0.00007841119,0.0004444144,0.0001911093,0.00008460064],"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.00001559835,0.000394106,0.002669596,0.0001440371,0.00002412711,0.00000615607,0.003476885,0.00007039791,0.002056478,0.4281007,0.08139972,0.4816422],"study_design_scores_gemma":[0.0003368992,0.00009296206,0.001181621,0.0000229526,0.000002553028,0.00002617668,0.0000724979,0.8492694,0.006235297,0.01130133,0.13123,0.00022829],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003007944,0.00001416045,0.9549547,0.0007023556,0.0007302029,0.0002664888,8.533619e-7,0.000769892,0.03955337],"genre_scores_gemma":[0.5642528,4.813393e-7,0.4341751,0.0006147474,0.0004773558,0.00001092412,0.000001655662,0.000006489799,0.000460416],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.849199,"threshold_uncertainty_score":0.2689811,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0505951989509701,"score_gpt":0.2926016659998486,"score_spread":0.2420064670488785,"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."}}