Automatic Test Generation with AGATHA.

Céline Bigot Alain Faivre Jean-Pierre Gallois Arnault Lapitre David Lugato Jean-Yves Pierron Nicolas Rapin

Published in: TACAS (2003)

Keyphrases

test generation
test cases
design automation
symbolic execution
test sequences
static analysis
software testing
object oriented
real world
artificial intelligence
quality assurance
mutation testing
information systems
vision system
building blocks
software systems