{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:34:35Z","timestamp":1758274475468},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397417"},{"type":"electronic","value":"9783642397424"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39742-4_22","type":"book-chapter","created":{"date-parts":[[2013,8,16]],"date-time":"2013-08-16T11:32:08Z","timestamp":1376652728000},"page":"263-268","source":"Crossref","is-referenced-by-count":1,"title":["Using Contracts to Guide the Search-Based Verification of Concurrent Programs"],"prefix":"10.1007","author":[{"given":"Christopher M.","family":"Poskitt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Poulding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Alba, E., Chicano, F., Ferreira, M., Gomez-Pulido, J.: Finding deadlocks in large concurrent Java programs using genetic algorithms. In: Proc. 10th Annual Conference on Genetic and Evolutionary Computation, pp. 1735\u20131742 (2008)","DOI":"10.1145\/1389095.1389432"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-33119-0_8","volume-title":"Search Based Software Engineering","author":"N. Bhattacharya","year":"2012","unstructured":"Bhattacharya, N., El-Mahi, O., Duclos, E., Beltrame, G., Antoniol, G., Le Digabel, S., Gu\u00e9h\u00e9neuc, Y.-G.: Optimizing threads schedule alignments to expose the interference bug pattern. In: Fraser, G., Teixeira de Souza, J. (eds.) SSBSE 2012. LNCS, vol.\u00a07515, pp. 90\u2013104. Springer, Heidelberg (2012)"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/11804192_16","volume-title":"Formal Methods for Components and Objects","author":"P. Chalin","year":"2006","unstructured":"Chalin, P., Kiniry, J.R., Leavens, G.T., Poll, E.: Beyond assertions: Advanced specification and verification with JML and ESC\/Java2. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 342\u2013363. Springer, Heidelberg (2006)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Khurshid, S.: Exploring very large state spaces using genetic algorithms. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 266\u2013280. Springer (2002)","DOI":"10.1007\/3-540-46002-0_19"},{"key":"22_CR5","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall (1997)"},{"key":"22_CR6","unstructured":"Nienaltowski, P.: Practical framework for contract-based concurrent object-oriented programming. Ph.D. thesis, ETH Z\u00fcrich (2007)"},{"issue":"2","key":"22_CR7","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1109\/TSE.2010.107","volume":"38","author":"M. Shousha","year":"2012","unstructured":"Shousha, M., Briand, L.C., Labiche, Y.: A UML\/MARTE model analysis method for uncovering scenarios leading to starvation and deadlocks in concurrent systems. IEEE Transactions on Software Engineering\u00a038(2), 354\u2013374 (2012)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Staunton, J., Clark, J.A.: Searching for safety violations using estimation of distribution algorithms. In: Proc. 3rd International Workshop on Search-Based Software Testing, pp. 212\u2013221 (2010)","DOI":"10.1109\/ICSTW.2010.24"},{"key":"22_CR9","unstructured":"Tracey, N.J.: A Search-Based Automated Test-Data Generation Framework for Safety-Critical Software. Ph.D. thesis, The University of York (2000)"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/978-3-642-34281-3_33","volume-title":"Formal Methods and Software Engineering","author":"S. West","year":"2012","unstructured":"West, S., Nanz, S., Meyer, B.: Demonic testing of concurrent programs. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol.\u00a07635, pp. 478\u2013493. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Search Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39742-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,28]],"date-time":"2019-01-28T09:18:40Z","timestamp":1548667120000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39742-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397417","9783642397424"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39742-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}