{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:31:33Z","timestamp":1732033893344},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223051"},{"type":"electronic","value":"9783642223068"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22306-8_6","type":"book-chapter","created":{"date-parts":[[2011,7,4]],"date-time":"2011-07-04T11:25:05Z","timestamp":1309778705000},"page":"75-89","source":"Crossref","is-referenced-by-count":3,"title":["Randomized Backtracking in State Space Traversal"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Par\u00edzek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ond\u0159ej","family":"Lhot\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Concurrency Tool Comparison repository, \n                    \n                      https:\/\/facwiki.cs.byu.edu\/vv-lab\/index.php\/Concurrency_Tool_Comparison"},{"key":"6_CR2","volume-title":"PPoPP 2010","author":"K.E. Coons","year":"2010","unstructured":"Coons, K.E., Burckhardt, S., Musuvathi, M.: GAMBIT: Effective Unit Testing for Concurrency Libraries. In: PPoPP 2010, ACM, New York (2010)"},{"key":"6_CR3","volume-title":"ICSE","author":"M.B. Dwyer","year":"2007","unstructured":"Dwyer, M.B., Elbaum, S.G., Person, S., Purandare, R.: Parallel Randomized State-Space Search. In: ICSE. IEEE CS, Los Alamitos (2007)"},{"key":"6_CR4","volume-title":"SIGSOFT FSE 2006","author":"M.B. Dwyer","year":"2006","unstructured":"Dwyer, M.B., Person, S., Elbaum, S.G.: Controlling Factors in Evaluating Path-Sensitive Error Detection Techniques. In: FSE 2006. ACM, New York (2006)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Edelkamp, S., Leue, S., Lluch-Lafuente, A.: Directed Explicit-State Model Checking in the Validation of Communication Protocols. International Journal on Software Tools for Technology Transfer\u00a05(2-3) (2004)","DOI":"10.1007\/s10009-002-0104-3"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-00431-5_5","volume-title":"Model Checking and Artificial Intelligence","author":"S. Edelkamp","year":"2009","unstructured":"Edelkamp, S., Schuppan, V., Bosnacki, D., Wijs, A., Fehnker, A., Aljazzar, H.: Survey on Directed Model Checking. In: Peled, D.A., Wooldridge, M.J. (eds.) MoChArt 2008. LNCS, vol.\u00a05348, pp. 65\u201389. Springer, Heidelberg (2009)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Groce, A., Visser, W.: Heuristics for Model Checking Java Programs. International Journal on Software Tools for Technology Transfer\u00a06(4) (2004)","DOI":"10.1007\/s10009-003-0130-9"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-85114-1_11","volume-title":"Model Checking Software","author":"G.J. Holzmann","year":"2008","unstructured":"Holzmann, G.J., Joshi, R., Groce, A.: Tackling Large Verification Problems with the Swarm Tool. In: Havelund, K., Majumdar, R. (eds.) SPIN 2008. LNCS, vol.\u00a05156, pp. 134\u2013143. Springer, Heidelberg (2008)"},{"key":"6_CR9","volume-title":"ASE 2008","author":"G.J. Holzmann","year":"2008","unstructured":"Holzmann, G.J., Joshi, R., Groce, A.: Swarm Verification. In: ASE 2008. IEEE CS, Los Alamitos (2008)"},{"key":"6_CR10","unstructured":"Java PathFinder, \n                    \n                      http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\/"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-24732-6_10","volume-title":"Model Checking Software","author":"M. Jones","year":"2004","unstructured":"Jones, M., Mercer, E.G.: Explicit State Model Checking with Hopper. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 146\u2013150. Springer, Heidelberg (2004)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Luby, M., Sinclair, A., Zuckerman, D.: Optimal Speedup of Las Vegas Algorithms. Information Processing Letters\u00a047(4) (1993)","DOI":"10.1016\/0020-0190(93)90029-9"},{"key":"6_CR13","volume-title":"PLDI","author":"M. Musuvathi","year":"2007","unstructured":"Musuvathi, M., Qadeer, S.: Iterative Context Bounding for Systematic Testing of Multithreaded Programs. In: PLDI. ACM, New York (2007)"},{"key":"6_CR14","unstructured":"Parallel Java Benchmarks, \n                    \n                      http:\/\/code.google.com\/p\/pjbench"},{"key":"6_CR15","unstructured":"Qadeer, S.: Daisy File System. Joint CAV\/ISSTA special event on specification, verification and testing of concurrent software (2004)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-540-31980-1_7","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Qadeer","year":"2005","unstructured":"Qadeer, S., Rehof, J.: Context-Bounded Model Checking of Concurrent Software. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 93\u2013107. Springer, Heidelberg (2005)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11513988_9","volume-title":"Computer Aided Verification","author":"I. Rabinovitz","year":"2005","unstructured":"Rabinovitz, I., Grumberg, O.: Bounded Model Checking of Concurrent Programs. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 82\u201397. Springer, Heidelberg (2005)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-73370-6_5","volume-title":"Model Checking Software","author":"N. Rungta","year":"2007","unstructured":"Rungta, N., Mercer, E.G.: Generating Counter-Examples Through Randomized Guided Search. In: Bo\u0161na\u010dki, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol.\u00a04595, pp. 39\u201357. Springer, Heidelberg (2007)"},{"key":"6_CR19","volume-title":"PADTAD","author":"N. Rungta","year":"2009","unstructured":"Rungta, N., Mercer, E.: Clash of the Titans: Tools and Techniques for Hunting Bugs in Concurrent Programs. In: PADTAD. ACM, New York (2009)"},{"key":"6_CR20","volume-title":"ASE","author":"K. Sen","year":"2007","unstructured":"Sen, K.: Effective Random Testing of Concurrent Programs. In: ASE. ACM, New York (2007)"},{"key":"6_CR21","unstructured":"Seppi, K., Jones, M., Lamborn, P.: Guided Model Checking with a Bayesian Meta-Heuristic. Fundamenta Informaticae\u00a070(1-2) (2006)"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-16164-3_7","volume-title":"Model Checking Software","author":"M. Wehrle","year":"2010","unstructured":"Wehrle, M., Kupferschmid, S.: Context-Enhanced Directed Model Checking. In: van de Pol, J., Weber, M. (eds.) Model Checking Software. LNCS, vol.\u00a06349, pp. 88\u2013105. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22306-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T22:35:25Z","timestamp":1553898925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22306-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223051","9783642223068"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22306-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}