{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:31Z","timestamp":1725456211804},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019414","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:18:27Z","timestamp":1132640307000},"page":"273-286","source":"Crossref","is-referenced-by-count":1,"title":["Graphical user interfaces for algorithmic debugging"],"prefix":"10.1007","author":[{"given":"Rickard","family":"Westman","sequence":"first","affiliation":[]},{"given":"Peter","family":"Fritzson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"E. Adams and S.S. Muchnik, DBXTool: A Window-Based Symbolic Debugger for Sun Workstations. Software Practice and Experience, pp. 653\u2013669, July 1986.","DOI":"10.1002\/spe.4380160705"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"J.D. Bovey, A Debugger For A Graphical Workstation, Software Practice and Experience, pp. 647\u2013662, September 1987.","DOI":"10.1002\/spe.4380170907"},{"key":"18_CR3","unstructured":"Margarete Ellis and Bjarne Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, 1990."},{"key":"18_CR4","unstructured":"Peter Fritzson, Mikhail Auguston and Nahid Shahmehri. Using Assertions in Declarative and Operational Models for Automated Debugging. Accepted for publication in the journal Systems and Software 1992."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Peter Fritzson, Tibor Gyimothy, Mariam Kamkar and Nahid Shahmehri. Generalized Algorithmic Debugging and Testing. Proceedings of the ACM SIGPLAN'91, pp. 317\u2013326, Toronto, Ontario, Canada, June 1991. Also accepted to LOPLAS, and as report LiTH-IDA-R-90-42.","DOI":"10.1145\/113445.113472"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"J.H. Griffin, H.J. Wasserman, and LP. Mcgavran, A debugger for parallell processes. Software Practice and Experience, pp. 1179\u20131190, December 1988.","DOI":"10.1002\/spe.4380181206"},{"issue":"No.1","key":"18_CR7","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S. Horwitz","year":"1990","unstructured":"Susan Horwitz, Thomas Reps and David Binkley: Interprocedural Slicing using Dependence Graphs. ACM Transactions on Programming Languages and Systems, Vol. 12, No. 1, pages 26\u201361, January 1990.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Sadahiro Isoda, Takao Shimomura and Yuji Ono. VIPS: A Visual Debugger. IEEE Software, pp. 8\u201319, May 1987.","DOI":"10.1109\/MS.1987.230394"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Mariam Kamkar, Nahid Shahmehri and Peter Fritzson: Interprocedural Dynamic Slicing. In Proc of PLILP'92, August 26\u201428, 1992. LNCS 631, Springer-Verlag,. Also as research report LiTH-R-91-20.","DOI":"10.1007\/3-540-55844-6_148"},{"key":"18_CR10","unstructured":"Mariam Kamkar: Interprocedural Dynamic Slicing with Applications to Debugging and Testing. Ph.D. thesis, Link\u00f6ping University, April 1993."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Bogdan Korel and Janusz Laski: Dynamic Program Slicing. Information Processing Letters, pp 155\u2013163, October 1988.","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Yossi Lichtenstein and Ehud Shapiro: Concurrent Algorithmic Debugging, In Proc of the ACM Workshop on Parallel and Distributed Debugging, Madison, Wisconsin, May 1998. Proc in SIGPLAN Notices 24:1, Jan 1989.","DOI":"10.1145\/69215.69239"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Henrik Nilsson, Peter Fritzson. Algorithmic Debugging for Lazy Functional Languages. In Proc. of PLILP'92 \u2014 Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgium August 1992. LNCS 631, Springer Verlag.","DOI":"10.1007\/3-540-55844-6_149"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Luis Moniz Pereira. Rational Debugging in Logic Programming. In Proc. of the Third Logic Programming Conference, pages 203\u2013210, London, England, July 1986","DOI":"10.1007\/3-540-16492-8_76"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"E.Y.Shapiro. Algorithmic Program Debugging. MIT Press, May 1982.","DOI":"10.1145\/582153.582185"},{"key":"18_CR16","unstructured":"Nahid Shahmehri. Generalized Algorithmic Debugging. Ph.D. thesis, Link\u00f6ping University, Dec. 1991."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Andre Weinand, Erich Gamma and Rudolf Marty, ET++ \u2014 An Object-Oriented Application Framework in C++. In Proc. of OOPSLA'88, pages 46\u201357, San Diego, California, September 1988.","DOI":"10.1145\/62083.62089"},{"issue":"No.4","key":"18_CR18","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"Se-10","author":"M. Weiser","year":"1984","unstructured":"Mark Weiser: Program Slicing. IEEE Transactions on Software Engineering, Vol. Se-10, No. 4, pages 352\u2013357, July 1984.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Automated and Algorithmic Debugging"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019414.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:42:36Z","timestamp":1607550156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019414"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574174"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0019414","relation":{},"subject":[]}}