"Synthesizing tests for combinatorial coverage of modal scenario ..."

Valerio Panzica La Manna, Itai Segall, Joel Greenyer (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics