{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T06:21:30Z","timestamp":1730269290072,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ipdps.2003.1213510","type":"proceedings-article","created":{"date-parts":[[2004,3,23]],"date-time":"2004-03-23T16:02:41Z","timestamp":1080057761000},"page":"8","source":"Crossref","is-referenced-by-count":6,"title":["Benchmark and framework for encouraging research on multi-threaded testing tools"],"prefix":"10.1109","author":[{"given":"K.","family":"Havelund","sequence":"first","affiliation":[]},{"given":"S.D.","family":"Stoller","sequence":"additional","affiliation":[]},{"given":"S.","family":"Ur","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"How to Break Software","year":"2003","author":"whittaker","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80582-6"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0077-2"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"ref10","article-title":"ourceBandera: Extracting finite-state models from Java source code","author":"corbett","year":"2000","journal-title":"Proc 22nd Int l Conf Software Eng (ICSE)"},{"journal-title":"Parallel Program Development for Cluster Computing","year":"2000","author":"cunha","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"},{"key":"ref13","article-title":"Detecteing race conditions in large programs","author":"flanagan","year":"2001","journal-title":"In Proceedings of the Program Analysis for Software Tools and Engineering Conference"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512539"},{"key":"ref16","first-page":"331","article-title":"Runtime checking of multithreaded applications with visual threads","author":"harrow","year":"2000","journal-title":"SPIN"},{"key":"ref17","article-title":"A test execution environment running abstract tests for distributed software","author":"hartman","year":"2002","journal-title":"Proceedings of Software Engineering and Applications SEA 2002"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512540"},{"key":"ref4","article-title":"Heuristics for finding concurrent bugs","author":"ben-asher","year":"2003","journal-title":"International Parallel and Distributed Processing Symposium IPDPS 2003 PADTAD Workshop"},{"key":"ref27","first-page":"109","article-title":"Detecting data races in parallel program executions","author":"netzer","year":"1990","journal-title":"In Advances in Languages and Compilers for Parallel Computing 1990 Workshop"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"ref6","first-page":"153","article-title":"All-du-path coverage for parallel programs","volume":"23","author":"cheer-sun","year":"1998","journal-title":"ACM SIGSOFT International Symposium on Software Testing and Analysis"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/281035.281040"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582440"},{"key":"ref8","first-page":"258","article-title":"Efficient and precise datarace detection for multithreaded object-oriented programs","author":"choi","year":"2002","journal-title":"Proc ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320386"},{"journal-title":"Comparing finite-state verification techniques for concurrent software","year":"1999","author":"avrunin","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/281035.281041"},{"journal-title":"Developing Java Enterprise Applications","year":"1999","author":"asbury","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1999.1574"},{"key":"ref21","first-page":"481","article-title":"Software model checking: Extracting verification models from source code","author":"holzmann","year":"1999","journal-title":"Proc International Conference on Formal Description Techniques and Protocol Specification Testing and Verification (FORTE\/PSTV)"},{"journal-title":"Software Test Coverage and Reliability","year":"1996","author":"malaiya","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348031"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1060289.1060297"},{"journal-title":"Fuzz Revisited A Re-Examination of the Reliability of Unix Utilities and Services","year":"1995","author":"miller","key":"ref25"}],"event":{"name":"International Parallel and Distributed Processing Symposium (IPDPS 2003)","acronym":"IPDPS-03","location":"Nice, France"},"container-title":["Proceedings International Parallel and Distributed Processing Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8608\/27277\/01213510.pdf?arnumber=1213510","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T14:07:35Z","timestamp":1489414055000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1213510\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2003.1213510","relation":{},"subject":[]}}