{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:06Z","timestamp":1750306806653,"version":"3.41.0"},"reference-count":13,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2014,2,11]],"date-time":"2014-02-11T00:00:00Z","timestamp":1392076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2014,2,11]]},"abstract":"<jats:p>Program testing requires a series of tasks such as preparing drivers and stubs, creating test cases, and executing unit tests. To reduce manual effort of performing such tasks for testing Java programs, we developed a tool that fully integrates and automates all of these processes, by using JPF with extensions as a symbolic execution engine for automatically generating unit test cases. In this paper, we present this tool and its application to real projects to evaluate its efficacy. The evaluation results demonstrate that the tool performs well in terms of the test time reduction compared with manual test as it eliminates the total amount of manual effort, while largely preserving a high coverage of greater than 90 % as our expected borderline.<\/jats:p>","DOI":"10.1145\/2557833.2560575","type":"journal-article","created":{"date-parts":[[2014,2,18]],"date-time":"2014-02-18T14:08:32Z","timestamp":1392732512000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Automated testing for Java programs using JPF-based test case generation"],"prefix":"10.1145","volume":"39","author":[{"given":"Supasit","family":"Monpratarnchai","sequence":"first","affiliation":[{"name":"Fujitsu Laboratories LTD., Kanagawa, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shoichiro","family":"Fujiwara","sequence":"additional","affiliation":[{"name":"Fujitsu Laboratories LTD., Kanagawa, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Asako","family":"Katayama","sequence":"additional","affiliation":[{"name":"Fujitsu Laboratories LTD., Kanagawa, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tadahiro","family":"Uehara","sequence":"additional","affiliation":[{"name":"Fujitsu Laboratories LTD., Kanagawa, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,2,11]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_2_1_2_1","unstructured":"Parasoft Corporation 2007. Automatic Java software and component testing: using Jtest to automate unit testing and coding standard enforcement. From http:\/\/www.parasoft.com\/jsp\/products\/ article.jsp?articleId=839 (Jan. 2007).  Parasoft Corporation 2007. Automatic Java software and component testing: using Jtest to automate unit testing and coding standard enforcement. From http:\/\/www.parasoft.com\/jsp\/products\/ article.jsp?articleId=839 (Jan. 2007)."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CloudCom.2012.6427555"},{"key":"e_1_2_1_4_1","unstructured":"Agitar Technologies Inc. 2009. ArgitarOne junit generator -- prevent regressions and cut the maintenance cost of your Java applications. From http:\/\/www.agitar.com\/pdf\/AgitarOneJUnit GeneratorDatasheet.pdf (2009).  Agitar Technologies Inc. 2009. ArgitarOne junit generator -- prevent regressions and cut the maintenance cost of your Java applications. From http:\/\/www.agitar.com\/pdf\/AgitarOneJUnit GeneratorDatasheet.pdf (2009)."},{"key":"e_1_2_1_5_1","unstructured":"Fujitsu Laboratories Ltd. 2008. Fujitsu develops software verification technology for practical-use web applications. From http:\/\/www.fujitsu.com\/global\/news\/pr\/archives\/month\/2008\/20080404-02.html (Apr. 2008).  Fujitsu Laboratories Ltd. 2008. Fujitsu develops software verification technology for practical-use web applications. From http:\/\/www.fujitsu.com\/global\/news\/pr\/archives\/month\/2008\/20080404-02.html (Apr. 2008)."},{"volume-title":"Brochure of 2011 Fujitsu Technology Forum (Fall) (Oct.","year":"2011","author":"Fujitsu Laboratories","key":"e_1_2_1_6_1"},{"volume-title":"Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Braga, Portugal, March 24 -- April 1, 2007). TACAS'07. ACM","author":"Anand S.","key":"e_1_2_1_7_1"},{"volume-title":"Proceedings of the 35th International Conference on Software Engineering (San Francisco, CA, May 18-26, 2013). ICSE'13. ACM","author":"Ghosh I.","key":"e_1_2_1_8_1"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007526"},{"key":"e_1_2_1_10_1","first-page":"2","article-title":"New approach to application software quality verification","volume":"46","author":"Ginbayashi J.","year":"2010","journal-title":"FUJITSU Sciences and Technology Journal"},{"key":"e_1_2_1_11_1","unstructured":"JUnit: Programmer-Oriented Testing Framework for Java http:\/\/junit.org\/.  JUnit: Programmer-Oriented Testing Framework for Java http:\/\/junit.org\/."},{"key":"e_1_2_1_12_1","unstructured":"Java PathFinder http:\/\/babelfish.arc.nasa.gov\/trac\/jpf.  Java PathFinder http:\/\/babelfish.arc.nasa.gov\/trac\/jpf."},{"key":"e_1_2_1_13_1","unstructured":"Apache Ant\u2122 http:\/\/ant.apache.org\/.  Apache Ant\u2122 http:\/\/ant.apache.org\/."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2557833.2560575","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2557833.2560575","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:58Z","timestamp":1750232098000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2557833.2560575"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,11]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2,11]]}},"alternative-id":["10.1145\/2557833.2560575"],"URL":"https:\/\/doi.org\/10.1145\/2557833.2560575","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2014,2,11]]},"assertion":[{"value":"2014-02-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}