{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001183106,0.001073899,0.000983114,0.002171126,0.0004027794,0.0009339253,0.001083247,0.001061433,0.003780067],"category_scores_gemma":[0.005923888,0.0005352076,0.001001363,0.0005856348,0.0004540897,0.000975068,0.001027803,0.0008339579,0.001004807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00044895,"about_ca_system_score_gemma":0.001021256,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001169199,"about_ca_topic_score_gemma":0.00148314,"domain_scores_codex":[0.9982496,0.0005063199,0.0001129968,0.0003178941,0.0005991384,0.0002139159],"domain_scores_gemma":[0.9951535,0.002688761,0.0004468606,0.0007012611,0.0008388095,0.000170693],"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.001584355,0.0005537235,0.01405445,0.0009758399,0.0002731339,0.002921539,0.0005092658,0.08152544,0.3626504,0.01166841,0.01815689,0.5051266],"study_design_scores_gemma":[0.0003233821,0.0005298547,0.005112093,0.0000847609,0.0001753798,0.001428928,0.00009988438,0.7510476,0.2242716,0.01014363,0.006693886,0.00008898162],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2710231,0.0004901675,0.6810046,0.0003592257,0.0001692599,0.000360174,0.001577379,0.04177843,0.003237584],"genre_scores_gemma":[0.7061657,0.000133311,0.2866338,0.0001214437,0.00004226579,0.0002126868,0.002815083,0.001916569,0.001959009],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003780067,"threshold_uncertainty_score":0.0126456,"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."}}