{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T00:56:38Z","timestamp":1730249798136,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/icmcs.2016.7905597","type":"proceedings-article","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T21:14:16Z","timestamp":1493068456000},"page":"605-610","source":"Crossref","is-referenced-by-count":1,"title":["Test case generation for Java Bytecode programs annotated with BML specifications"],"prefix":"10.1109","author":[{"given":"Safaa","family":"Achour","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammed","family":"Benattou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"79","article-title":"JaBUTi: A Coverage Analysis Tool for Java Programs","author":"vincenzi","year":"2003","journal-title":"XVII SBES-Brazilian Symposium on Software Engineering (Tool Section)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SERE.2014.24"},{"key":"ref13","article-title":"Generating Test Data from OCL Specification","author":"benattou","year":"2002","journal-title":"Proc ECOOP Workshop Integration and Transformation of UML Models"},{"key":"ref14","first-page":"385","article-title":"Random test data generation for Java classes annotated with JML specifications","volume":"11","author":"cheon","year":"2007","journal-title":"Serp"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.30"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.4236\/jis.2013.42013"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2003.09.006"},{"journal-title":"The Object Constraint Language Precise Modeling with UML","year":"1999","author":"warmer","key":"ref4"},{"journal-title":"The B Language and Method A Guide to Practical Formal Development","year":"1996","author":"lano","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.26"},{"key":"ref5","article-title":"Preliminary design of JML: A behavioral interface specification language for Java","author":"leavens","year":"2003","journal-title":"Iowa State University Department of Computer Science Technical Report"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71289-3_18"},{"key":"ref7","first-page":"11","article-title":"Raisonnement contraintes pour le test de bytecode java","author":"charreteur","year":"2008","journal-title":"quatrièmes Journées Francophones de Programmation par Contraintes (JFPC'08)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1989.0006"},{"journal-title":"Testing Object-Oriented Systems","year":"2000","author":"binder","key":"ref1"},{"key":"ref9","article-title":"Generating control flow graph from Java card byte code","author":"achkar","year":"2014","journal-title":"Third IEEE International Colloquium in Information Science and Technology (CIST)"}],"event":{"name":"2016 5th International Conference on Multimedia Computing and Systems (ICMCS)","start":{"date-parts":[[2016,9,29]]},"location":"Marrakech, Morocco","end":{"date-parts":[[2016,10,1]]}},"container-title":["2016 5th International Conference on Multimedia Computing and Systems (ICMCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7896955\/7905513\/07905597.pdf?arnumber=7905597","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,22]],"date-time":"2017-05-22T21:40:48Z","timestamp":1495489248000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7905597\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icmcs.2016.7905597","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}