Testing object-oriented programs is still a hard task, despite manystudies on criteria to better
cover the test space. Test criteriaestablish requirements one want to achieve in testing …

Testing object-oriented programs is still a hard task, despite many studies on criteria to
better cover the test space. Test criteria establish requirements one want to achieve in …

Specification and verification for object oriented (OO) programs remains a great challenge
despite of decades' efforts. To address the problem, we propose a novel specification and …

State-based testing, a technique used for the validation of object-oriented programs with
emphasis on the interaction between the features and the object's state, is described …

The authors consider software validation, a process common to both maintenance and
development, in the context of systems written in an object-oriented language. The problems …

Assertions had their origin in program verification. For the systems developed in industry,
construction of assertions and their use in showing program correctness is a near …

The complexity and interdependencies of an object oriented program makes testing of such
programs difficult. We present a reverse engineering based model called Object Relation …

Exception handling is a powerful mechanism that separates the error handling code from
normal code. It makes software do its utmost to run on the normal state. However, incorrect …

A complex software system may perform many program tasks during execution to provide
the required functionalities. To detect and localize bugs related to the implementation of …

Our research in the past has been focused on the use of database/knowledge base
technologies to automate software testing tasks in order to provide a more cost-effective …