Model‐based testing (MBT) relies on models of a system under test and/or its environment to
derive test cases for the system. This paper discusses the process of MBT and defines a …

Automatic functional testing is a potentially effective technique for software reliability, but it
has been a challenge due to the difficulties in automatically deriving adequate test cases …

The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series
of events devoted to the study of advanced computer science and to the promotion of …

Functional scenario-based test case generation is an important technique for specification-
based testing and it can be fully automated. The vital first step of achieving the automation is …

Formal specifications provide strong bases for testing and bring powerful techniques and
technologies. Expressive formal specification languages combine large data domain and …

This extended abstract takes advantage of a theory of software testing based on formal
specifications to point out the benefits and limits of the use of formal methods to this end. A …

Several approaches to test case generation based on formal specifications have been put
forward, but how to automatically generate test cases to ensure that all of the representative …

Unit testing is an important part of modern software development, where individual code
units are tested in isolation. Such tests are typically case-based, checking a likely error …

Algebraic specifications have been used in the testing of object-oriented programs and
received much attention since the 1990s. It is generally believed that class-level testing …

It is well accepted that formal specifications can be useful bases for software testing; some
pioneering papers come back to the seventies. Given a specification and a system under …