A lot has changed in the fast-moving area of software engineering since the first edition of
this book came out. However, two particularly dominant trends are clearly discernible: focus …

This article describes a new approach to the unit testing of object-oriented programs, a set of
tools based on this approach, and two case studies. In this approach, each test case …

Parameterized unit tests extend the current industry practice of using closed unit tests
defined as parameterless methods. Parameterized unit tests separate two concerns: 1) They …

Research and practitioner literature on testing object-oriented software published up to the
end of 1994 is summarized. The contribution of each source to eight topics presented:(1) …

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 …

In this thesis my aim is to examine the common ground between formal methods and testing,
and the bene ts the two elds bring to one another. All too often they are regarded as mutually …

This chapter presents a survey of the state of the art for quality assurance for requirements.
The meaning of quality in the requirements context is discussed, as is the influence of the …

Classes represent the fundamental building blocks in object-oriented software development.
Several techniques have been proposed for testing classes. However, most of these …

There is an increasing trend towards more formality in the development of specifications of
software systems in order to reduce the likelihood of errors as early as possible in the …

This paper describes a new approach to testing objectoriented programs, a set of tools
based on this approach, and two case studies. Test cases consist of pairs of sequences of …