An Approach to Symbolic Test Generation

Vlad Rusu, Lydie du Bousquet, Thierry Jéron. An Approach to Symbolic Test Generation. Preprint 2000.


Test generation is a program-synthesis problem: starting from the formal specification of a system under test, and from a test purpose describing a set of behaviours to be tested, compute a reactive program that observes an implementation of the system to detect non-conformant behaviour, while trying to control it towards satisfying the test purpose. In this paper we describe an approach for generating symbolic test cases, in the form of input-output automata with variables and parameters.

Published as

This technical report is published as: