Synthesizing tests for combinatorial coverage of modal scenario specifications

Valerio Panzica La Manna; Itai Segall; Joel Greenyer

doi:10.1109/MODELS.2015.7338243

Previous
Next
Table of Contents
Related Articles

2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)

Synthesizing tests for combinatorial coverage of modal scenario specifications

Year: 2015, Pages: 126-135

DOI Bookmark: 10.1109/MODELS.2015.7338243

Authors

Valerio Panzica La Manna, MIT Media Lab, Cambridge, MA, USA
Itai Segall, Bell Labs Israel
Joel Greenyer, Software Engineering Group, Leibniz Universität Hannover, Welfengarten 1 30167, Germany

Synthesizing tests for combinatorial coverage of modal scenario specifications

Authors

Abstract