Coca

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Coca: an automated debugger for C

Full text

Pdf (1.10 MB)

Source

International Conference on Software Engineering archive
Proceedings of the 21st international conference on Software engineering table of contents

Los Angeles, California, United States

Pages: 504 - 513

Year of Publication: 1999

ISBN:1-58113-074-0

Author

Mireille Ducassé

IRISA/INSA, Campus Universitaire de Beaulieu, F - 35042 Rennes Cedex, France

Sponsors

IEEE-CS : Computer Society
IEEE-CS\TCSE : TC on Software Engineering
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 42, Citation Count: 16

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/302405.302682 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Peter Bates, Debugging heterogeneous distributed systems using event-based models of behavior, ACM SIGPLAN Notices, v.24 n.1, p.11-22, Jan. 1989
	2	J. Bovey, M. Russel, and 0. Folkestadt. Direct manipulation tools for Unix workstations. In EUUG Aukmn'88, pages 311-319, October 1988.
	3	Don Cohen , Martin S. Feather , K. Narayanaswamy , Stephen S. Fickas, Automatic monitoring of software requirements, Proceedings of the 19th international conference on Software engineering, p.602-603, May 17-23, 1997, Boston, Massachusetts, United States [doi>10.1145/253228.253493]
	4	M. Consens, M. Hasan, and A. Mendelzon. Visualizing and querying distributed event traces with Hy+. In Applications of Databases, First International Conference, pages 123-141. Springer, Lecture Notes in Computer Science, Vol. 819, 1994.
	5	M. Ducass& Abstract views of Prolog executions in Opium. In International Logic Programming Symposium, pages 18-32, October 1991. MIT Press.
	6	M. Ducasd. Opium: An extendable trace analyser for Prolog. The Journal of Logic programming, 1999.
	7	M. Ducassh and J. NoyB. Logic programming environments: Dynamic program analysis and debugging. The Journal of Logic Programming, 19/20:351-384, May/July 1994.
	8	M. Golan and D. Hanson. DUEL- A very high-level debugging language. In Winter USENIX Technical Conference, January 1993.
	9	Carol Helfgott Ledoux, A knowledge-based system for debugging concurrent software (ada, temporal logic), 1985
	10	Raimondas Lencevicius , Urs Hölzle , Ambuj K. Singh, Query-based debugging of object-oriented programs, Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.304-317, October 05-09, 1997, Atlanta, Georgia, United States
	11	Allen D. Malony , David H. Hammerslag , David J. Jablonowski, Traceview: A Trace Visualization Tool, IEEE Software, v.8 n.5, p.19-28, September 1991 [doi>10.1109/52.84213]
	12	Michael L. Powell , Mark A. Linton, A database model of debugging (Preliminary Draft), Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, p.67-70, January 1983 [doi>10.1145/800007.808011]
	13	Steven P. Reiss, Trace-Based Debugging, Proceedings of the First International Workshop on Automated and Algorithmic Debugging, p.305-314, May 03-05, 1993
	14	Richard M. Stallman, EMACS the extensible, customizable self-documenting display editor, ACM SIGPLAN Notices, v.16 n.6, p.147-156, June 1981
	15	R. Stallman and R. Pesch. Debugging with GDB, the GNU Source-level debuger. The Free Software Fondation, Inc, 4.09 edition, April 1993.
	16	K. Templer , C. Jeffery, A Configurable Automatic Instrumentation Tool for ANSI C, Proceedings of the 13th IEEE international conference on Automated software engineering, p.249, October 13-16, 1998
	17	P. Winterbottom. Acid: a debugger built from a language. In Winter USENIX Technical Conference, pages 211-222, 1994.
	18	Yoshito Yamane, Event query-based debugging, University of Washington, Seattle, WA, 1997

CITED BY 16

	Raimondas Lencevicius , Urs Hölzle , Ambuj K. Singh, Dynamic Query-Based Debugging of Object-Oriented Programs, Automated Software Engineering, v.10 n.1, p.39-74, January 2003
	Chanika Hobatr , Brian A. Malloy, The design of an OCL query-based debugger for C++, Proceedings of the 2001 ACM symposium on Applied computing, p.658-662, March 2001, Las Vegas, Nevada, United States
	Chanika Hobatr , Brian A. Malloy, Using OCL-queries for debugging C++, Proceedings of the 23rd International Conference on Software Engineering, p.839-840, May 12-19, 2001, Toronto, Ontario, Canada
	Shyh-Kwei Chen , W. Kent Fuchs , Jen-Yao Chung, Reversible Debugging Using Program Instrumentation, IEEE Transactions on Software Engineering, v.27 n.8, p.715-727, August 2001
	Bil Lewis , Mireille Ducasse, Using events to debug Java programs backwards in time, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 26-30, 2003, Anaheim, CA, USA
	Ludovic Langevine , Mireille Ducassé, A tracer driver for hybrid execution analyses, Proceedings of the sixth international symposium on Automated analysis-driven debugging, p.143-148, September 19-21, 2005, Monterey, California, USA
	Marcos L. Chaim , José C. Maldonado , Mario Jino, A debugging strategy based on the requirements of testing, Journal of Software Maintenance: Research and Practice, v.16 n.4-5, p.277-308, July-October 2004
	Ben L. Titzer , Jens Palsberg, Nonintrusive precision instrumentation of microcontroller software, ACM SIGPLAN Notices, v.40 n.7, July 2005
	Donglin Liang , Kai Xu, Debugging object-oriented programs with behavior views, Proceedings of the sixth international symposium on Automated analysis-driven debugging, p.133-142, September 19-21, 2005, Monterey, California, USA
	Remko Tronçon , Gerda Janssens, Analyzing & debugging ILP data mining query execution, Proceedings of the sixth international symposium on Automated analysis-driven debugging, p.105-110, September 19-21, 2005, Monterey, California, USA
	Rick Chern , Kris De Volder, Debugging with control-flow breakpoints, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada
	Erwan Jahier , Mireille Ducassé, Generic program monitoring by trace analysis, Theory and Practice of Logic Programming, v.2 n.4-5, p.611-643, July 2002
	Guillaume Marceau , Gregory H. Cooper , Jonathan P. Spiro , Shriram Krishnamurthi , Steven P. Reiss, The design and implementation of a dataflow language for scriptable debugging, Automated Software Engineering, v.14 n.1, p.59-86, March 2007
	Dale Parson , Bryan Schlieder , Paul Beatty, Extension Language Automation of Embedded System Debugging, Automated Software Engineering, v.9 n.1, p.7-39, January 2002
	Guillaume Pothier , Éric Tanter , José Piquer, Scalable omniscient debugging, ACM SIGPLAN Notices, v.42 n.10, October 2007
	Ludovic Langevine , Mireille DucassÉ, Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs1, Theory and Practice of Logic Programming, v.8 n.5-6, p.581-609, November 2008