{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:31:57Z","timestamp":1747809117790,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/issre.2013.6698890","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:09:09Z","timestamp":1389028149000},"page":"370-379","source":"Crossref","is-referenced-by-count":37,"title":["Search-based data-flow test generation"],"prefix":"10.1109","author":[{"given":"Mattia","family":"Vivanti","sequence":"first","affiliation":[]},{"given":"Andre","family":"Mis","sequence":"additional","affiliation":[]},{"given":"Alessandra","family":"Gorla","sequence":"additional","affiliation":[]},{"given":"Gordon","family":"Fraser","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"232","article-title":"Data flow testing as model checking","author":"hong","year":"2003","journal-title":"ACM\/IEEE International Conference on Software Engineering (ICSE)"},{"key":"35","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","article-title":"Evolutionary test environment for automatic structural testing","volume":"43","author":"wegener","year":"2001","journal-title":"Information and Software Technology"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195402"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/32.44376"},{"key":"18","first-page":"92","article-title":"A data flow analysis approach to program testing","volume":"8","author":"herman","year":"1976","journal-title":"Australian Computer Journal"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321682"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ASPEC.2007.73"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007528"},{"key":"16","first-page":"64","article-title":"A new software data-flow testing approach via ant colony algorithms","volume":"1","author":"ghiduk","year":"2010","journal-title":"Universal Journal of Computer Science and Engineering Technology"},{"key":"13","article-title":"Whole test suite generation","author":"fraser","year":"2012","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"14","article-title":"Efficient mutation testing using whole test suite generation","author":"fraser","year":"2012","journal-title":"University of Sheffield Technical Report CS-12-02"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227195"},{"journal-title":"Coverlipse Eclipse Plugin That Visualizes the Code Coverage of JUnit Tests","year":"0","author":"kempka","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296778"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.21"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277183"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2002.1181506"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370040104"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"27","article-title":"Evolutionary testing of stateful systems: A holistic approach","author":"miraz","year":"2010","journal-title":"Ph D Dissertation Politecnico di Milano"},{"journal-title":"Advanced Compiler Design and Implementation","year":"1997","author":"muchnick","key":"28"},{"key":"29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-14825-5_1","article-title":"Automatic test data generation for data flow testing using particle swarm optimization","author":"nayak","year":"2010","journal-title":"Contemporary Computing"},{"key":"3","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1109\/ICST.2010.54","article-title":"TestFul: An evolutionary test approach for java","author":"baresi","year":"2010","journal-title":"IEEE International Conference on Software Testing Verification and Validation (ICST)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(96)00154-9"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199602)26:2<165::AID-SPE5>3.0.CO;2-K"},{"key":"7","first-page":"421","article-title":"DaTeC: Dataflow testing of java classes","author":"denaro","year":"2009","journal-title":"International Conference on Software Engineering (ICSE Tool Demo)"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78743-3_18"},{"key":"32","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","article-title":"Selecting software test data using data flow information","volume":"11","author":"rapps","year":"1985","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.41326"},{"journal-title":"Software Test and Analysis Process Principles and Techniques","year":"2008","author":"pezze?","key":"31"},{"key":"4","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/347324.348870","article-title":"Automated testing of classes","author":"buy","year":"2000","journal-title":"Proc International Symposium on Software Testing and Analysis (ISSTA)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/32.238581"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2013.6595804"}],"event":{"name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2013,11,4]]},"location":"Pasadena, CA, USA","end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6689494\/6698873\/06698890.pdf?arnumber=6698890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T05:23:08Z","timestamp":1498108988000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6698890\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/issre.2013.6698890","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}