Object-Oriented technologies are becoming pervasive in many software development
organizations. However, many methods, processes, tools, or notations are being used …

Statistical testing has been shown to be more efficient at detecting faults in software than
other methods of dynamic testing such as random and structural testing. Test data are …

One of the characteristics of object-oriented software is the complex dependency that may
exist between classes due to inheritance, association and aggregation relationships. Hence …

We present a structured reformulation of the seminal algorithm for automatic generation of
test cases for a context-free grammar. Our reformulation simplifies the algorithm in several …

The best approach to testing object-oriented software depends on many factors: the
application-under-test, the development approach, the organization of the development and …

Statistical testing generates test inputs by sampling from a probability distribution that is
carefully chosen so that the inputs exercise all parts of the software being tested. Sets of …

This paper introduces a component-based integration testing method with an architectural
test coverage criteria. This method is suitable for systems that lack system documentation …

Test Selection for Specification-Based Unit Testing of Object-Oriented Software based on
Formal Specifications Page 1 Test Selection for Specification-Based Unit Testing of Object-Oriented …

The widespread use of the object-oriented (OO) paradigm to develop software systems has
resulted in the class becoming the basic test unit. The class structure is more complex than …

Statistical testing is based on a probabilistic generation of test patterns: structural or
functional criteria serve as guides for defining an input profile and a test size. The method is …