25 search results - page 5 / 5 » Query-Based Debugging of Object-Oriented Programs |
OOPSLA
2005
Springer
14 years 9 days ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
ICSE
2010
IEEE-ACM
13 years 11 months ago
2010
IEEE-ACM
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
GECCO
2005
Springer
14 years 10 days ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
ICSE
1998
IEEE-ACM
13 years 11 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...