{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:21Z","timestamp":1725455841842},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642342806"},{"type":"electronic","value":"9783642342813"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34281-3_33","type":"book-chapter","created":{"date-parts":[[2012,10,29]],"date-time":"2012-10-29T18:38:09Z","timestamp":1351535889000},"page":"478-493","source":"Crossref","is-referenced-by-count":2,"title":["Demonic Testing of Concurrent Programs"],"prefix":"10.1007","author":[{"given":"Scott","family":"West","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Nanz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"Araujo, W., Briand, L., Labiche, Y.: On the effectiveness of contracts as test oracles in the detection and diagnosis of race conditions and deadlocks in concurrent object-oriented software. In: Proc. ESEM 2011. IEEE Computer Society (2011)","DOI":"10.1109\/ESEM.2011.9"},{"key":"33_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/11804192_17","volume-title":"Formal Methods for Components and Objects","author":"M. Barnett","year":"2006","unstructured":"Barnett, M., Chang, B.-Y.E., DeLine, R., Jacobs, B., Leino, K.R.M.: Boogie: A Modular Reusable Verifier for Object-Oriented Programs. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 364\u2013387. Springer, Heidelberg (2006)"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Blundell, C., Giannakopoulou, D., P\u01ces\u01cereanu, C.S.: Assume-guarantee testing. In: Proc. SAVCBS 2005. ACM (2005)","DOI":"10.1145\/1123058.1123060"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Srinivasan, H.: Deterministic replay of Java multithreaded applications. In: Proc. SPDT 1998, pp. 48\u201359. ACM (1998)","DOI":"10.1145\/281035.281041"},{"key":"33_CR5","unstructured":"Code contracts (2011), \n                    \n                      http:\/\/research.microsoft.com\/en-us\/projects\/contracts\/"},{"key":"33_CR6","unstructured":"Collection of Concurrency Bugs (2011), \n                    \n                      http:\/\/www.eecs.umich.edu\/~jieyu\/bugs.html"},{"key":"33_CR7","unstructured":"Demonic test case downloads (2011), \n                    \n                      http:\/\/se.inf.ethz.ch\/people\/west\/demonic-cases\/"},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"Dingel, J.: Computer-assisted assume\/guarantee reasoning with VeriSoft. In: Proc. ICSE 2003, pp. 138\u2013148. IEEE Computer Society (2003)","DOI":"10.1109\/ICSE.2003.1201195"},{"key":"33_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11817963_11","volume-title":"Computer Aided Verification","author":"B. Dutertre","year":"2006","unstructured":"Dutertre, B., de Moura, L.: A Fast Linear-Arithmetic Solver for DPLL(T). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 81\u201394. Springer, Heidelberg (2006)"},{"issue":"3-5","key":"33_CR10","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1002\/cpe.654","volume":"15","author":"O. Edelstein","year":"2003","unstructured":"Edelstein, O., Farchi, E., Goldin, E., Nir, Y., Ratsaby, G., Ur, S.: Framework for testing multi-threaded Java programs. Concurrency and Computation: Practice and Experience\u00a015(3-5), 485\u2013499 (2003)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"33_CR11","unstructured":"EVE project (2011), \n                    \n                      https:\/\/svn.eiffel.com\/eiffelstudio\/branches\/eth\/eve\/"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model checking for programming languages using VeriSoft. In: Proc. POPL 1997, pp. 174\u2013186. ACM (1997)","DOI":"10.1145\/263699.263717"},{"key":"33_CR13","unstructured":"Jones, C.B.: Development Methods for Computer Programs including a Notion of Interference. PhD thesis, Oxford University (June 1981)"},{"key":"33_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-642-14295-6_13","volume-title":"Computer Aided Verification","author":"S. Kundu","year":"2010","unstructured":"Kundu, S., Ganai, M.K., Wang, C.: Contessa: Concurrency Testing Augmented with Symbolic Analysis. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 127\u2013131. Springer, Heidelberg (2010)"},{"key":"33_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1127878.1127884","volume":"31","author":"G.T. Leavens","year":"2006","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. SIGSOFT Software Engineering Notes\u00a031, 1\u201338 (2006)","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"33_CR16","unstructured":"McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL: The planning domain definition language. Technical Report CVC TR-98-003, Yale Center for Computational Vision and Control (1998)"},{"key":"33_CR17","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall (1997)"},{"key":"33_CR18","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2009.296","volume":"42","author":"B. Meyer","year":"2009","unstructured":"Meyer, B., Fiva, A., Ciupa, I., Leitner, A., Wei, Y., Stapf, E.: Programs that test themselves. IEEE Computer\u00a042, 46\u201355 (2009)","journal-title":"IEEE Computer"},{"key":"33_CR19","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing Heisenbugs in concurrent programs. In: Proc. OSDI 2008, pp. 267\u2013280. USENIX Association (2008)"},{"issue":"6","key":"33_CR20","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/1273442.1250738","volume":"42","author":"S. Narayanasamy","year":"2007","unstructured":"Narayanasamy, S., Wang, Z., Tigani, J., Edwards, A., Calder, B.: Automatically classifying benign and harmful data racesallusing replay analysis. ACM SIGPLAN Notices\u00a042(6), 22\u201331 (2007)","journal-title":"ACM SIGPLAN Notices"},{"key":"33_CR21","doi-asserted-by":"crossref","unstructured":"Park, S., Lu, S., Zhou, Y.: CTrigger: Exposing atomicity violation bugs from their hiding places. In: Proc. ASPLOS 2009, pp. 25\u201336. ACM (2009)","DOI":"10.1145\/1508284.1508249"},{"key":"33_CR22","doi-asserted-by":"crossref","unstructured":"Sen, K.: Race directed random testing of concurrent programs. In: Proc. PLDI 2008, pp. 11\u201321. ACM (2008)","DOI":"10.1145\/1375581.1375584"},{"key":"33_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/11817963_38","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2006","unstructured":"Sen, K., Agha, G.: CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 419\u2013423. Springer, Heidelberg (2006)"},{"key":"33_CR24","doi-asserted-by":"crossref","unstructured":"Shacham, O., Bronson, N.G., Aiken, A., Sagiv, M., Vechev, M.T., Yahav, E.: Testing atomicity of composed concurrent operations. In: Proc. OOPSLA 2011, pp. 51\u201364 (2011)","DOI":"10.1145\/2048066.2048073"},{"key":"33_CR25","doi-asserted-by":"crossref","unstructured":"Wang, C., Said, M., Gupta, A.: Coverage guided systematic concurrency testing. In: Proc. ICSE 2011, pp. 221\u2013230. ACM (2011)","DOI":"10.1145\/1985793.1985824"},{"key":"33_CR26","doi-asserted-by":"crossref","unstructured":"Yu, J., Narayanasamy, S.: A case for an interleaving constrained shared-memory multi-processor. In: Proc. ICSA 2009, pp. 325\u2013336. ACM (2009)","DOI":"10.1145\/1555815.1555796"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34281-3_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:50:55Z","timestamp":1620132655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34281-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642342806","9783642342813"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34281-3_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}