Oyindamola Olajubu, Suraj Ajit, Mark Johnson, Scott Turner, Scott Thomson, Mark Edwards. Automated test case generation from domain specific models of high-level requirements. In Esmaeil S. Nadimi, Tomás Cerný, Sung-Ryul Kim, Wei Wang 0015, editors, Proceedings of the 2015 Conference on research in adaptive and convergent systems, RACS 2015, Prague, Czech Republic, October 9-12, 2015. pages 505-508, ACM, 2015. [doi]
Abstract is missing.