"Scalable Incremental Test-case Generation from Large Behavior Models."

Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics