Synthesizing tests for combinatorial coverage of modal scenario specifications.

Valerio Panzica La Manna Itai Segall Joel Greenyer

Published in: MoDELS (2015)

Keyphrases

test suite
transition systems
formal specification
real world
information systems
high level
modal logic
functional requirements
database systems
image sequences
test data
specification language
test generation
code coverage