Our Paper “Synthesizing Tests for Combinatorial Coverage of Modal Scenario Specifications” was accepted at the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015).

Download the paper here and see the Publications for more information.