{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:52:45Z","timestamp":1760043165478},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319336923"},{"type":"electronic","value":"9783319336930"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-33693-0_26","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T05:35:47Z","timestamp":1464068147000},"page":"409-424","source":"Crossref","is-referenced-by-count":8,"title":["Combining Static Analysis and Testing for Deadlock Detection"],"prefix":"10.1007","author":[{"given":"Elvira","family":"Albert","sequence":"first","affiliation":[]},{"given":"Miguel","family":"G\u00f3mez-Zamalloa","sequence":"additional","affiliation":[]},{"given":"Miguel","family":"Isabel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Abdulla, P., Aronis, S., Jonsson, B., Sagonas, K.F.: Optimal dynamic partial order reduction. In: Proceedings of POPL 2014, pp. 373\u2013384. ACM (2014)","DOI":"10.1145\/2535838.2535845"},{"key":"26_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/11678779_14","volume-title":"Hardware and Software, Verification and Testing","author":"R Agarwal","year":"2006","unstructured":"Agarwal, R., Wang, L., Stoller, S.D.: Detecting potential deadlocks with static analysis and run-time monitoring. In: Ur, S., Bin, E., Wolfsthal, Y. (eds.) HVC 2005. LNCS, vol. 3875, pp. 191\u2013207. Springer, Heidelberg (2006)"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-662-43613-4_4","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"E Albert","year":"2014","unstructured":"Albert, E., Arenas, P., G\u00f3mez-Zamalloa, M.: Actor- and task-selection strategies for pruning redundant state-exploration in testing. In: \u00c1brah\u00e1m, E., Palamidessi, C. (eds.) FORTE 2014. LNCS, vol. 8461, pp. 49\u201365. Springer, Heidelberg (2014)"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Christakis, M., Gotovos, A., Sagonas, K.F.: Systematic testing for detecting concurrency errors in erlang programs. In: ICST 2013, pp. 154\u2013163. IEEE (2013)","DOI":"10.1109\/ICST.2013.50"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: Proceedings POPL 2005, pp. 110\u2013121. ACM (2005)","DOI":"10.1145\/1040305.1040315"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-642-38592-6_19","volume-title":"Formal Techniques for Distributed Systems","author":"AE Flores-Montoya","year":"2013","unstructured":"Flores-Montoya, A.E., Albert, E., Genaim, S.: May-happen-in-parallel based deadlock analysis for concurrent objects. In: Beyer, D., Boreale, M. (eds.) FORTE 2013 and FMOODS 2013. LNCS, vol. 7892, pp. 273\u2013288. Springer, Heidelberg (2013)"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/978-3-642-38613-8_27","volume-title":"Integrated Formal Methods","author":"E Giachino","year":"2013","unstructured":"Giachino, E., Grazia, C.A., Laneve, C., Lienhardt, M., Wong, P.Y.H.: Deadlock analysis of concurrent objects: theory and practice. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol. 7940, pp. 394\u2013411. Springer, Heidelberg (2013)"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Joshi, P., Naik, M., Sen, K., Gay, D.: An effective dynamic analysis for detecting generalized deadlocks. In: Proceedings of FSE 2010, pp. 327\u2013336. ACM (2010)","DOI":"10.1145\/1882291.1882339"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Joshi, P., Park, C., Sen, K., Naik, M.: A randomized dynamic program analysis technique for detecting real deadlocks. In: Proceedings of PLDI 2009. ACM (2009)","DOI":"10.1145\/1542476.1542489"},{"key":"26_CR10","unstructured":"Kheradmand, A., Kasikci, B., Candea, G.: Lockout: efficient testing for deadlock bugs. Technical report (2013)"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Masticola, S.P., Ryder, B.G.: A model of ada programs for static deadlock detection in polynomial time. In: Parallel and Distributed Debugging. ACM (1991)","DOI":"10.1145\/127695.122768"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Naik, M., Park, C., Sen, K., Gay, D.: Effective static deadlock detection. In: Proceedings of ICSE, pp. 386\u2013396. IEEE (2009)","DOI":"10.1109\/ICSE.2009.5070538"},{"issue":"4","key":"26_CR13","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.E.: Eraser: a dynamic data race detector for multithreaded programs. ACM TCS 15(4), 391\u2013411 (1997)","journal-title":"ACM TCS"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/11693017_25","volume-title":"Fundamental Approaches to Software Engineering","author":"K Sen","year":"2006","unstructured":"Sen, K., Agha, G.: Automated systematic testing of open distributed programs. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol. 3922, pp. 339\u2013356. Springer, Heidelberg (2006)"},{"key":"26_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/10722468_15","volume-title":"Proceedings of the 7th International SPIN Workshop","author":"K Havelund","year":"2000","unstructured":"Havelund, K.: Using runtime analysis to guide model checking of java programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol. 1885, pp. 245\u2013264. Springer, Heidelberg (2000)"},{"key":"26_CR16","unstructured":"Albert, E., G\u00f3mez-Zamalloa, M., et al.: Combining Static Analysis and Testing for Deadlock Detection. In: \u00c1brah\u00e1m, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 409\u2013424. Springer, Heidelberg (2016). http:\/\/costa.ls.fi.upm.es\/papers\/costa\/AlbertGI15.pdf"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33693-0_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T14:43:53Z","timestamp":1498315433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33693-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319336923","9783319336930"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33693-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}