Oyindamola Olajubu, Suraj Ajit, Mark Johnson, Scott Thomson, Mark Edwards, Scott J. Turner. Automated test case generation from high-level logic requirements using model transformation techniques. In 2017 9th Computer Science and Electronic Engineering Conference, CEEC 2017, Colchester, UK, September 27-29, 2017. pages 178-182, IEEE, 2017. [doi]
Abstract is missing.