{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T13:45:03Z","timestamp":1750427103511,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/cmsbse.2013.6605713","type":"proceedings-article","created":{"date-parts":[[2013,9,27]],"date-time":"2013-09-27T16:07:54Z","timestamp":1380298074000},"page":"67-70","source":"Crossref","is-referenced-by-count":2,"title":["Effectively using search-based software engineering techniques within model checking and its applications"],"prefix":"10.1109","author":[{"given":"Jeremy S.","family":"Bradbury","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Kelk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Green","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.08.005"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227211"},{"journal-title":"Code Mutation in Verification and Automatic Code Correction","first-page":"435","year":"2010","key":"17"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2011.01.023"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007526"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1389095.1389434"},{"key":"16","first-page":"33","author":"katz","year":"2008","journal-title":"Genetic Programming and Model Checking Synthesizing New Mutual Exclusion Algorithms"},{"key":"13","first-page":"97","article-title":"Applications of model reuse when using estimation of distribution algorithms to test concurrent software","year":"2011","journal-title":"Proc of 3rd International Symposium on Search Based Software Engineering (SSBSE 2011)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368128"},{"key":"11","article-title":"Finding and reproducing heisenbugs in concurrent programs","author":"musuvathi","year":"2008","journal-title":"Proceedings of the 5th USENIX Symposium on Operating Systems Design and Implementation (OSDI)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.24"},{"key":"21","first-page":"64","article-title":"Using LTL rewriting to improve the performance of modelchecker based test-case generation","year":"2007","journal-title":"Proceedings of the 3rd International Workshop on Advances in Model-based Testing (A-MOST'07)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.29"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71289-3_23"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TAICPART.2009.15"},{"key":"1","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-44577-3_12","article-title":"Progress on the state explosion problem in model checking","author":"clarke","year":"2001","journal-title":"Informatics"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00431-5_5"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"5","first-page":"58","article-title":"An overview of genetic algorithms: Part 1. Fundamentals","volume":"15","author":"beasley","year":"1993","journal-title":"University Computing"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICNN.1995.488968"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2007.11.015"},{"key":"8","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1145\/949952.940107","article-title":"Bogor: An extensible and highly-modular software model checking framework","volume":"28","author":"dwyer","year":"2003","journal-title":"ACM SIGSOFT Software Engineering Notes"}],"event":{"name":"2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)","start":{"date-parts":[[2013,5,20]]},"location":"San Francisco, CA","end":{"date-parts":[[2013,5,20]]}},"container-title":["2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6588675\/6604423\/06605713.pdf?arnumber=6605713","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T16:55:57Z","timestamp":1580921757000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6605713\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/cmsbse.2013.6605713","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}