Synthesizing tests for combinatorial coverage of modal scenario specifications.

Valerio Panzica La Manna, Itai Segall, Joel Greenyer

Browse the full MODELS paper archive.