Tri-modal under-approximation of event systems for test generation.

Hadrien Bride Jacques Julliand Pierre-Alain Masson

Published in: SAC (2015)

Keyphrases

test generation
design automation
test cases
petri net
databases
life cycle
finite state machines
static analysis