{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:50:31Z","timestamp":1740124231915,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,6,7]],"date-time":"2017-06-07T00:00:00Z","timestamp":1496793600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1007\/s11219-017-9377-3","type":"journal-article","created":{"date-parts":[[2017,6,7]],"date-time":"2017-06-07T03:34:12Z","timestamp":1496806452000},"page":"1015-1036","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Detecting potential deadlocks through change impact analysis"],"prefix":"10.1007","volume":"26","author":[{"given":"Chelsea A.","family":"Metcalf","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5542-2142","authenticated-orcid":false,"given":"Tuba","family":"Yavuz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,7]]},"reference":[{"key":"9377_CR1","volume-title":"Proceedings of the parallel and distributed systems: testing and debugging track of the 2005 IBM verification conference","author":"R Agarwal","year":"2005","unstructured":"Agarwal, R., Wang, L., & Stoller, S. D. (2005). Detecting potential deadlocks with static analysis and run-time monitoring, Proceedings of the parallel and distributed systems: testing and debugging track of the 2005 IBM verification conference."},{"key":"9377_CR2","unstructured":"Andersen, L. O. (1994). Program analysis and specialization of the C programming language. Technical report, DIKU, University of Kopenhagen."},{"key":"9377_CR3","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/1147403.1147412","volume-title":"Proceedings of the 2006 workshop on parallel and distributed dystems: testing and debugging, (PADTAD?06)","author":"S Bensalem","year":"2006","unstructured":"Bensalem, S., Fernandez, J., Havelund, K., & Mounier, L. (2006). Confirmation of deadlock potentails detected by runtime analysis, Proceedings of the 2006 workshop on parallel and distributed dystems: testing and debugging, (PADTAD?06) (pp. 41\u201350)."},{"key":"9377_CR4","first-page":"208","volume-title":"Haifa verification conference","author":"S Bensalem","year":"2005","unstructured":"Bensalem, S., & Havelund, K. (2005). Dynamic deadlock analysis of multi-threaded programs, Haifa verification conference (pp. 208\u2013223)."},{"key":"9377_CR5","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/582419.582440","volume-title":"Proceedings of the 17th ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, OOPSLA \u201902","author":"C Boyapati","year":"2002","unstructured":"Boyapati, C., Lee, R., & Rinard, M. (2002). Ownership types for safe programming: preventing data races and deadlocks, Proceedings of the 17th ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, OOPSLA \u201902 (pp. 211\u2013230)."},{"key":"9377_CR6","volume-title":"Proceedings of the 38th international conference on software engineering ICSE\u201916","author":"Y Cai","year":"2016","unstructured":"Cai, Y., & Cao, L. (2016). Fixing deadlocks via lock pre-acquisitions, Proceedings of the 38th international conference on software engineering ICSE\u201916."},{"key":"9377_CR7","first-page":"606","volume-title":"34th international conference on software engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland","author":"Y Cai","year":"2012","unstructured":"Cai, Y., & Chan, W. K. (2012). Magicfuzzer: scalable deadlock detection for large-scale applications, 34th international conference on software engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland (pp. 606\u2013616)."},{"issue":"7","key":"9377_CR8","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1002\/(SICI)1097-024X(199906)29:7<577::AID-SPE246>3.0.CO;2-V","volume":"29","author":"C Demartini","year":"1999","unstructured":"Demartini, C., Iosif, R., & Sisto, R. (1999). A deadlock detection tool for concurrent java programs. Software - Practice and Experience, 29(7), 577\u2013603.","journal-title":"Software - Practice and Experience"},{"issue":"3\u20135","key":"9377_CR9","doi-asserted-by":"crossref","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. (2003). Framework for testing multi-threaded java programs. Concurrency and Computation: Practice and Experience, 15(3\u20135), 485\u2013 499.","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"9377_CR10","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/945445.945468","volume-title":"Proceedings of the 19th ACM symposium on operating systems principles (SOSP?03)","author":"D Engler","year":"2003","unstructured":"Engler, D., & Ashcraft, K. (2003). Racerx: effective, static detection of race conditions and deadlocks, Proceedings of the 19th ACM symposium on operating systems principles (SOSP?03) (pp. 237\u2013 252)."},{"key":"9377_CR11","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/2635868.2635918","volume-title":"Proceedings of the 22nd ACM SIGSOFT international symposium on foundations of software engineering, FSE 2014","author":"M Eslamimehr","year":"2014","unstructured":"Eslamimehr, M., & Palsberg, J. (2014). Sherlock: scalable deadlock detection for concurrent programs, Proceedings of the 22nd ACM SIGSOFT international symposium on foundations of software engineering, FSE 2014 (pp. 353\u2013365)."},{"key":"9377_CR12","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1145\/512529.512558","volume-title":"Proceedings of the ACM SIGPLAN 2002 conference on programming language design and implementation, PLDI \u201902","author":"C Flanagan","year":"2002","unstructured":"Flanagan, C., Leino, K. R. M., Lillibridge, M., Nelson, G., Saxe, J. B., & Stata, R. (2002). Extended static checking for java, Proceedings of the ACM SIGPLAN 2002 conference on programming language design and implementation, PLDI \u201902 (pp. 234\u2013245)."},{"key":"9377_CR13","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/10722468_15","volume-title":"Proceedings of the 7th international SPIN workshop on SPIN model checking and software verification","author":"K Havelund","year":"2000","unstructured":"Havelund, K. (2000). Using runtime analysis to guide model checking of java programs, Proceedings of the 7th international SPIN workshop on SPIN model checking and software verification (pp. 245\u2013264)."},{"issue":"12","key":"9377_CR14","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/1052883.1052895","volume":"39","author":"D Hovemeyer","year":"2004","unstructured":"Hovemeyer, D., & Pugh, W. (2004). Finding bugs is easy. SIGPLAN Notices, 39(12), 92\u2013106.","journal-title":"SIGPLAN Notices"},{"key":"9377_CR15","first-page":"133","volume-title":"Proceedings of the 20th international symposium on software testing and analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011","author":"V Jagannath","year":"2011","unstructured":"Jagannath, V., Luo, Q., & Marinov, D. (2011). Change-aware preemption prioritization, Proceedings of the 20th international symposium on software testing and analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011 (pp. 133\u2013143)."},{"key":"9377_CR16","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1145\/1882291.1882339","volume-title":"Proceedings of the 18th ACM SIGSOFT international symposium on foundations of software engineering, FSE \u201910","author":"P Joshi","year":"2010","unstructured":"Joshi, P., Naik, M., Sen, K., & Gay, D. (2010). An effective dynamic analysis for detecting generalized deadlocks, Proceedings of the 18th ACM SIGSOFT international symposium on foundations of software engineering, FSE \u201910 (pp. 327\u2013336)."},{"key":"9377_CR17","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1145\/1542476.1542489","volume-title":"Proceedings of the 2009 ACM SIGPLAN conference on programming language design and implementation (PLDI?09)","author":"P Joshi","year":"2009","unstructured":"Joshi, P., Park, C., Sen, K., & Naik, M. (2009). A randomized dynamic program analysis technique for detecting real deadlocks, Proceedings of the 2009 ACM SIGPLAN conference on programming language design and implementation (PLDI?09) (pp. 110\u2013120)."},{"key":"9377_CR18","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1145\/1542476.1542489","volume-title":"Proceedings of the 30th ACM SIGPLAN conference on programming language design and implementation, PLDI \u201909","author":"P Joshi","year":"2009","unstructured":"Joshi, P., Park, C. -S., Sen, K., & Naik, M. (2009). A randomized dynamic program analysis technique for detecting real deadlocks, Proceedings of the 30th ACM SIGPLAN conference on programming language design and implementation, PLDI \u201909 (pp. 110\u2013120)."},{"key":"9377_CR19","first-page":"322","volume-title":"Proceedings of the 2013 international conference on software engineering, ICSE \u201913","author":"D Marino","year":"2013","unstructured":"Marino, D., Hammer, C., Dolby, J., Vaziri, M., Tip, F., & Vitek, J. (2013). Detecting deadlock in programs with data-centric synchronization, Proceedings of the 2013 international conference on software engineering, ICSE \u201913 (pp. 322\u2013331)."},{"key":"9377_CR20","first-page":"386","volume-title":"Proceedings of the 31st international conference on software engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada","author":"M Naik","year":"2009","unstructured":"Naik, M., Park, C., Sen, K., & Gay, D. (2009). Effective static deadlock detection, Proceedings of the 31st international conference on software engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada (pp. 386\u2013396)."},{"key":"9377_CR21","volume-title":"Proceedings of the IEEE\/ACM international conference on automated software engineering ASE\u201910","author":"CS P\u0103s\u0103reanu","year":"2010","unstructured":"P\u0103s\u0103reanu, C. S. , & Rungta, N. (2010). Symbolic pathfinder: symbolic execution of java bytecode, Proceedings of the IEEE\/ACM international conference on automated software engineering ASE\u201910."},{"key":"9377_CR22","first-page":"246","volume-title":"37th IEEE\/ACM international conference on software engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1","author":"V Terragni","year":"2015","unstructured":"Terragni, V., Cheung, S., & Zhang, C. (2015). RECONTEST: effective regression testing of concurrent programs, 37th IEEE\/ACM international conference on software engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1 (pp. 246\u2013256)."},{"issue":"2","key":"9377_CR23","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G. P., Park, S., & Lerda, F. (2003). Model checking programs. Automated Software Engineering, 10(2), 203\u2013232.","journal-title":"Automated Software Engineering"},{"issue":"3","key":"9377_CR24","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1109\/TSE.2016.2584063","volume":"43","author":"H Wang","year":"2017","unstructured":"Wang, H., Liu, T., Guan, X., Shen, C., Zheng, Q., & Yang, Z. (2017). Dependence guided symbolic execution. IEEE Transactions on Software Engineering, 43(3), 252\u2013271.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9377_CR25","first-page":"602","volume-title":"Proceedings of the 19th European conference on object-oriented programming (ECOOP?05)","author":"A Williams","year":"2005","unstructured":"Williams, A., Thies, W., & Ernst, M. (2005). Static deadlock detection for java libraries, Proceedings of the 19th European conference on object-oriented programming (ECOOP?05) (pp. 602\u2013629)."},{"key":"9377_CR26","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1109\/ICSM.2009.5306334","volume-title":"25th IEEE international conference on software maintenance (ICSM 2009), September 20-26, 2009, Edmonton, Alberta, Canada","author":"G Yang","year":"2009","unstructured":"Yang, G., Dwyer, M. B., & Rothermel, G. (2009). Regression model checking, 25th IEEE international conference on software maintenance (ICSM 2009), September 20-26, 2009, Edmonton, Alberta, Canada (pp. 115\u2013124)."},{"key":"9377_CR27","first-page":"26","volume-title":"SIGSOFT\/FSE\u201911 19th ACM SIGSOFT symposium on the foundations of software engineering (FSE-19) and ESEC\u201911: 13rd European software engineering conference (ESEC-13), Szeged, Hungary, September 5-9, 2011","author":"Z Yin","year":"2011","unstructured":"Yin, Z., Yuan, D., Zhou, Y., Pasupathy, S., & Bairavasundaram, L. N. (2011). How do fixes become bugs?, SIGSOFT\/FSE\u201911 19th ACM SIGSOFT symposium on the foundations of software engineering (FSE-19) and ESEC\u201911: 13rd European software engineering conference (ESEC-13), Szeged, Hungary, September 5-9, 2011 (pp. 26\u201336)."},{"key":"9377_CR28","doi-asserted-by":"crossref","unstructured":"Yu, T., Srisa-an, W., & Rothermel, G. (2014). Simrt: an automated framework to support regression testing for data races. In Proceedings of the 36th International conference on software engineering, ICSE 2014, (pp 4859), New York, NY, USA: ACM.","DOI":"10.1145\/2568225.2568294"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-017-9377-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9377-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9377-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,29]],"date-time":"2022-07-29T05:51:09Z","timestamp":1659073869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-017-9377-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,7]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,9]]}},"alternative-id":["9377"],"URL":"https:\/\/doi.org\/10.1007\/s11219-017-9377-3","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[2017,6,7]]}}}