Using OCL-queries for debugging C++

Proceedings - International Conference on Software Engineering

Volumn 2001-May, Issue , 2001, Pages 839-840

  Hobatr, Chanika ^a   Malloy, Brian A ^a  

^a AMRL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C++ (PROGRAMMING LANGUAGE); PROGRAM DEBUGGING; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE REUSABILITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONSTRAINT THEORY; ERROR DETECTION; MEMBERSHIP FUNCTIONS; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; QUERY LANGUAGES; SEMANTICS;

C PROGRAMS; CLASS INVARIANTS; CODEGENERATION; DEBUGGERS; FAULTS DETECTION; OBJECT CONSTRAINT LANGUAGE; PRE- AND POSTCONDITION; TESTING PROCESS; CODE GENERATION; QUERY BASED DEBUGGER;

FAULT DETECTION; COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0035020063     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2001.919198     Document Type: Conference Paper

References (6)

1. S. Chiba. A Metaobject Protocol for C++. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pages 285-299, October 1995.
2. S. Chiba. OpenC++ Tutorial. Technical report, Institute of Information Science and Electronics, University of Tsukuba, 1998.
3. M. Ducasse. Coca: An Automated Debugger for C. In ICSE'99, pages 504-513, Los Angeles, CA, February 1999.
4. R. Lenceivicius, U. Holzle, and A. K. Singh. Query-Based Debugging of Object-Oriented Programs. In OOPSLA'97, pages 304-317, Atlanta, GA, October 1997.
5. R. Lenceivicius, U. Holzle, and A. K. Singh. Dynamic Query-Based Debugging. Technical report, University of California, Santa Barbara, CA, December 1998.
6. J. Warmer and A. Kleppe. The Object Constraint Language, Precise Modeling with UML. Addison-Wesley, first edition, 1999.