{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:11:48Z","timestamp":1725570708773},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642175770"},{"type":"electronic","value":"9783642175787"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17578-7_23","type":"book-chapter","created":{"date-parts":[[2010,11,26]],"date-time":"2010-11-26T07:31:03Z","timestamp":1290756663000},"page":"228-236","source":"Crossref","is-referenced-by-count":1,"title":["Program Visualization for Debugging Deadlocks in Multithreaded Programs"],"prefix":"10.1007","author":[{"given":"Byung-Chul","family":"Kim","sequence":"first","affiliation":[]},{"given":"Yong-Kee","family":"Jun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/11678779_15","volume-title":"Hardware and Software, Verification and Testing","author":"S. Bensalem","year":"2006","unstructured":"Bensalem, S., Havelund, K.: Dynamic deadlock analysis of multi-threaded programs. In: Ur, S., Bin, E., Wolfsthal, Y. (eds.) HVC 2005. LNCS, vol.\u00a03875, pp. 208\u2013223. Springer, Heidelberg (2006)"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1109\/ICSE.2009.5070538","volume-title":"Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (ICSE)","author":"M. Naik","year":"2009","unstructured":"Naik, M., Park, C.S., Sen, K., Gay, D.: Effective static deadlock detection. In: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (ICSE), pp. 386\u2013396. IEEE Computer Society, Los Alamitos (May 2009)"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/1542476.1542489","volume-title":"Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2009)","author":"P. Joshi","year":"2009","unstructured":"Joshi, P., Park, C.S., Sen, K., Naik, M.: A randomized dynamic program analysis technique for detecting real deadlocks. In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2009), pp. 110\u2013120. ACM, New York (June 2009)"},{"key":"23_CR4","unstructured":"Kraemer, E.: Visualizing concurrent programs. In: Software Visualization: Programming as a Multimedia Experience, pp. 237\u2013258 (January 1998)"},{"key":"23_CR5","volume-title":"Software Visualization: Visualizing the Structure, Behavior, and Evolve of Software","author":"S. Diehl","year":"2007","unstructured":"Diehl, S.: Software Visualization: Visualizing the Structure, Behavior, and Evolve of Software. Springer, Heidelberg (May 2007)"},{"issue":"7","key":"23_CR6","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1147403.1147412","volume-title":"Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2006)","author":"S. Bensalem","year":"2006","unstructured":"Bensalem, S., Fernandez, J.C., Havelund, K., Mounier, L.: Confirmation of deadlock potentials detected by runtime analysis. In: Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2006), pp. 41\u201350. ACM, New York (2006)"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/10722468_15","volume-title":"SPIN Model Checking and Software Verification","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.\u00a01885, pp. 245\u2013264. Springer, Heidelberg (2000)"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-45875-1_13","volume-title":"Software Visualization","author":"K. Mehner","year":"2002","unstructured":"Mehner, K.: Javis: A uml-based visualization and debugging environment for concurrent java programs. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol.\u00a02269, pp. 163\u2013175. Springer, Heidelberg (2002)"},{"key":"23_CR10","first-page":"201","volume-title":"Proceedings of the 2nd International Conference on Principles and Practice of Programming in Java (PPPJ 2003)","author":"H. Leroux","year":"2003","unstructured":"Leroux, H., R\u00e9quil\u00e9-Romanczuk, A., Mingins, C.: Jacot: a tool to dynamically visualise the execution of concurrent java programs. In: Proceedings of the 2nd International Conference on Principles and Practice of Programming in Java (PPPJ 2003), pp. 201\u2013206. Computer Science Press, Inc., Rockville (2003)"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/COMPSAC.2007.236","volume-title":"Proceedings of the 31st Annual International Computer Software and Applications Conference (COMPSAC 2007)","author":"C. Artho","year":"2007","unstructured":"Artho, C., Havelund, K., Honiden, S.: Visualization of concurrent program executions. In: Proceedings of the 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), pp. 541\u2013546. IEEE Computer Society, Los Alamitos (July 2007)"},{"key":"23_CR12","unstructured":"Zhao, Q.A., Stasko, J.T.: Visualizing the execution of threads-based parallel programs. Technical Report GIT-GVU-95-01, College of Computing, George Institute of Technology (January 1995)"},{"issue":"1","key":"23_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/958795.958796","volume":"3","author":"S. Carr","year":"2003","unstructured":"Carr, S., Mayo, J., Shene, C.K.: Threadmentor: a pedagogical tool for multithreaded programming. J. Educ. Resour. Comput.\u00a03(1), 1 (2003)","journal-title":"J. Educ. Resour. Comput."},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-642-03275-2_32","volume-title":"Parallel Computing Technologies","author":"B.C. Kim","year":"2009","unstructured":"Kim, B.C., Jun, S.W., Hwang, D.J., Jun, Y.K.: Visualizing potential deadlocks in multithreaded programs. In: Malyshkin, V. (ed.) PaCT 2009. LNCS, vol.\u00a05698, pp. 321\u2013330. Springer, Heidelberg (2009)"}],"container-title":["Communications in Computer and Information Science","Advances in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17578-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T10:34:25Z","timestamp":1547894065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17578-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642175770","9783642175787"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17578-7_23","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}