{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T07:27:28Z","timestamp":1768030048635,"version":"3.49.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/iwast.2013.6595789","type":"proceedings-article","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T15:56:19Z","timestamp":1379606179000},"page":"40-46","source":"Crossref","is-referenced-by-count":10,"title":["Automatic generation of parallel unit tests"],"prefix":"10.1109","author":[{"given":"Jochen","family":"Schimmel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Korbinian","family":"Molitorisz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Jannesari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter F.","family":"Tichy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1999.809654"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227145"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2005.37"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1639622.1639626"},{"key":"16","first-page":"539","article-title":"Effective generation of test sequences for structural testing of concurrent programs","year":"2005","journal-title":"Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems"},{"key":"13","year":"0"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/512557.512558"},{"key":"11","author":"vyukov","year":"0","journal-title":"Relacy race detector"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24650-0_3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/281035.281041"},{"key":"2","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/978-3-642-12029-9_23","article-title":"A lightweight and portable approach to making concurrent failures reproducible","author":"luo","year":"2010","journal-title":"Proc of the International Conference on Fundamental Approaches to Software Engineering"},{"key":"1","author":"madanlal musuvathi","year":"2007","journal-title":"Chess A Systematic Testing Tool for Concurrent Software"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5160998"},{"key":"7","year":"0"},{"key":"6","year":"0"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288213"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353447"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23400-2_3"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"}],"event":{"name":"2013 8th International Workshop on Automation of Software Test (AST)","location":"San Francisco, CA, USA","start":{"date-parts":[[2013,5,18]]},"end":{"date-parts":[[2013,5,19]]}},"container-title":["2013 8th International Workshop on Automation of Software Test (AST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6588690\/6595779\/06595789.pdf?arnumber=6595789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,24]],"date-time":"2019-07-24T07:23:04Z","timestamp":1563952984000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6595789\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iwast.2013.6595789","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}