{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:52:01Z","timestamp":1725594721106},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1109\/saner.2019.8668040","type":"proceedings-article","created":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T01:30:10Z","timestamp":1552959010000},"page":"388-398","source":"Crossref","is-referenced-by-count":1,"title":["A Splitting Strategy for Testing Concurrent Programs"],"prefix":"10.1109","author":[{"given":"Xiaofang","family":"Qi","sequence":"first","affiliation":[]},{"given":"Huayang","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786839"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_11"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594315"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384651"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806838"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635929"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0043-0"},{"year":"0","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213511"},{"journal-title":"Concurrency State Models and Java Programs","year":"2006","author":"magee","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/358527.358537"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271804"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287703"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453121"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.126769"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.56"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542489"},{"key":"ref5","first-page":"267","article-title":"Finding and reproducing Heisenbugs in concurrent programs","author":"musuvathi","year":"2008","journal-title":"Proceedings of the second USENIX symposium on Operating systems design and implementation"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483773"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.369"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001438"},{"key":"ref1","article-title":"Real-Time systems and programming languages","author":"burns","year":"2001","journal-title":"Addison Wesley Longman"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336779"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985824"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1573"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.32"},{"key":"ref26","first-page":"207","article-title":"Using coverage and reachability testing to improve concurrent program testing quality","author":"souza","year":"2011","journal-title":"Proc of International Conference on Software Engineering and Knowledge Engineering (SEKE)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-016-5096-3"}],"event":{"name":"2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER)","start":{"date-parts":[[2019,2,24]]},"location":"Hangzhou, China","end":{"date-parts":[[2019,2,27]]}},"container-title":["2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8663526\/8667965\/08668040.pdf?arnumber=8668040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T14:51:34Z","timestamp":1658155894000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8668040\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/saner.2019.8668040","relation":{},"subject":[],"published":{"date-parts":[[2019,2]]}}}