{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:02:42Z","timestamp":1725789762030},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1109\/icmcs.2018.8525962","type":"proceedings-article","created":{"date-parts":[[2018,11,8]],"date-time":"2018-11-08T23:42:06Z","timestamp":1541720526000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs"],"prefix":"10.1109","author":[{"given":"Safaa","family":"Achour","sequence":"first","affiliation":[]},{"given":"Mohammed","family":"Benattou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"206","article-title":"Generating control flow graph from Java card byte code","author":"achkar","year":"2014","journal-title":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)"},{"key":"ref11","first-page":"79","article-title":"Jabuti: A Coverage Analysis Tool for Java Programs","author":"vincenzi","year":"2003","journal-title":"XVII SBES -- Brazilian Symp Softw Eng"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-6875-1_26"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SERE.2014.24"},{"key":"ref15","first-page":"449","article-title":"Pit: A practical mutation testing tool for java (demo)","author":"coles","year":"2016","journal-title":"Proceedings of the25th International Symposium on Software Testing and Analysis ser ISSTA 2016"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.26"},{"article-title":"EMV Card: Generation of test cases based on SysML models","year":"0","author":"ouerdi","key":"ref17"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/3-540-45575-2_31","article-title":"Specification--based testing of firewalls","author":"j\u00fcrjens","year":"2001","journal-title":"Proceedings of the International Andrei Ershov Memorial Conference on Perspectives of System Informatics"},{"article-title":"Automated random testing to detect specification-code inconsistencies","year":"2007","author":"cheon","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.30"},{"key":"ref3","first-page":"385","article-title":"Random Test Data Generation for Java Classes Annotated with JML Specifications","author":"cheon","year":"0"},{"key":"ref6","article-title":"(Presentation) Model-Based Vulnerability Testing for Web Applications","author":"lebeau","year":"0","journal-title":"Software Testing Verification and 2013"},{"key":"ref5","first-page":"1","article-title":"Generating Test Data from OCL Specification","author":"benattou","year":"2002","journal-title":"Proceedings of the ECOOP’2002 Work-Shop on Integration and Transformation of UML Models"},{"key":"ref8","article-title":"Génération de Données de Test Sécurisé à partir d’une Spécification Formelle par Analyse des Partitions et Classification","author":"benlhachmi","year":"2011","journal-title":"Proceedings of the 6 Th International Conference on Network Architectures and Information Systems Security (SAR-SSI 2011)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.14257\/ijseia.2013.7.5.19"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.14257\/ijseia.2013.7.5.19"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2015.05.002"},{"key":"ref9","article-title":"Model-Based Robustness Testing in Event-B using Mutation, SEFM-2015","author":"savary","year":"2015","journal-title":"13th edition of the International Conference on Software Engineering and Formal Methods"},{"key":"ref20","first-page":"1","article-title":"ASM 4.0A Java bytecode engineering library","author":"bruneton","year":"2011"},{"key":"ref22","article-title":"Regression test selection for AspectJ software","author":"xu","year":"2007","journal-title":"Int Conf Software Engineering"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2162049.2162077"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.6028\/NIST.IR.5737","article-title":"A Method to Determine a Basis Set of Paths to Perform Program Testing","author":"poole","year":"1995"}],"event":{"name":"2018 6th International Conference on Multimedia Computing and Systems (ICMCS)","start":{"date-parts":[[2018,5,10]]},"location":"Rabat","end":{"date-parts":[[2018,5,12]]}},"container-title":["2018 6th International Conference on Multimedia Computing and Systems (ICMCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8488380\/8525492\/08525962.pdf?arnumber=8525962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T06:05:18Z","timestamp":1720764318000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8525962\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/icmcs.2018.8525962","relation":{},"subject":[],"published":{"date-parts":[[2018,5]]}}}