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. © Springer-Verlag Berlin Heidelberg 2000.
CITATION STYLE
Rusu, V., Du Bousquet, L., & Jéron, T. (2000). An approach to symbolic test generation. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1945, 338–357. https://doi.org/10.1007/3-540-40911-4_20
Mendeley helps you to discover research relevant for your work.