Title :
Using OCL-Queries for debugging C++
Author :
Hobatr, Chanika ; Malloy, Brian A.
Author_Institution :
Clemson University
Keywords :
Application software; Computer science; Contracts; Encapsulation; Fault detection; Instruments; Programming profession; Software debugging; Testing; Unified modeling language;
Conference_Titel :
Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on
Print_ISBN :
0-7695-1050-7
DOI :
10.1109/ICSE.2001.919198