{"id":"W4298876240","doi":"","title":"Automatic generation of vulnerability test suite for the Java Card verifier","year":2011,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Test suite; Java Card; Java; Suite; Vulnerability (computing); Operating system; Fuzz testing; Programming language; Computer security; Test case; Software; Real time Java","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.007953113,0.0002761488,0.0003604518,0.0001233946,0.0003750331,0.0003245288,0.002620402,0.0002288406,0.00001786292],"category_scores_gemma":[0.007321734,0.0002321657,0.00024291,0.0002583889,0.0002357199,0.0001457157,0.001468377,0.0004065828,0.000005539566],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000832461,"about_ca_system_score_gemma":0.0003171351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001347716,"about_ca_topic_score_gemma":0.0002768824,"domain_scores_codex":[0.9960246,0.002029134,0.0005973819,0.000715257,0.0003554688,0.0002781565],"domain_scores_gemma":[0.986281,0.006867804,0.0006524688,0.003977171,0.002133003,0.00008848691],"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.000009623236,0.00157039,0.01146952,0.001018101,0.0002302626,0.000002856405,0.03366392,0.0002539797,0.006202854,0.1324104,0.03659597,0.7765722],"study_design_scores_gemma":[0.0003107222,0.000002272167,0.005916775,0.001021912,0.00006681265,0.000009281133,0.00001247502,0.7925206,0.1218987,0.07537037,0.002353345,0.0005167269],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02253767,0.0006529383,0.968007,0.002730804,0.0003731518,0.0008625423,0.00004428412,0.002408639,0.002382954],"genre_scores_gemma":[0.6004183,0.00007371666,0.3985797,0.00006399778,0.00002808486,0.000233155,0.00007064136,0.00002281413,0.0005095586],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7922666,"threshold_uncertainty_score":0.9467441,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04849763494859158,"score_gpt":0.2640729823475595,"score_spread":0.215575347398968,"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."}}