Lisa M. Boden, Robert Busser, Mark R. Blackburn, Aaron Nauman. Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing. In 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA. pages 325-332, IEEE Computer Society, 2005. [doi]
Abstract is missing.