{"id":"W2140339782","doi":"10.1109/icit.2012.6210016","title":"Using TTCN-3 as a modeling language for web penetration testing","year":2012,"lang":"en","type":"article","venue":"","topic":"Web Application Security Vulnerabilities","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Software engineering; Web application; Web testing; Web application security; Manual testing; White-box testing; Web service; Web development; World Wide Web; Software development; Programming language; Software; Software construction","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.0004588811,0.00007630092,0.00007392363,0.00005497002,0.0001362515,0.0001241441,0.0002601528,0.00003632591,0.00001391671],"category_scores_gemma":[0.0001866587,0.0000737679,0.00002880874,0.000217319,0.00001022991,0.0008137196,0.00007993801,0.00004933401,0.00002975788],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004183608,"about_ca_system_score_gemma":0.00006835769,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001363644,"about_ca_topic_score_gemma":0.000009491269,"domain_scores_codex":[0.9992524,0.00002414383,0.0001631579,0.0001795206,0.0001406697,0.0002401282],"domain_scores_gemma":[0.9993061,0.0001821318,0.00004394416,0.0002963963,0.0001039834,0.0000674749],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003719689,0.0001046169,0.001516462,0.00005694021,0.0000101522,2.78414e-7,0.008818751,0.01102983,0.2296387,0.7347401,0.0001491149,0.01393137],"study_design_scores_gemma":[0.0001006029,0.00001137852,0.00002885317,0.000004993043,0.000002675673,0.000009090912,0.0003632166,0.9879525,0.007247888,0.003986537,0.0001886366,0.0001036075],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3615284,0.00006076693,0.6341699,0.0001057021,0.00005679336,0.000166348,6.958928e-7,0.0001593144,0.003752073],"genre_scores_gemma":[0.6497529,1.498896e-7,0.3498523,0.0001717993,0.0001207422,0.00002885718,0.000001171037,0.000005245823,0.00006685791],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9769227,"threshold_uncertainty_score":0.3008168,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1399565873671311,"score_gpt":0.3557675824453241,"score_spread":0.215810995078193,"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."}}