Dimitra Giannakopoulou, Neha Rungta, Michael Feary. Automated test case generation for an autopilot requirement prototype. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011. pages 1825-1830, IEEE, 2011. [doi]
Abstract is missing.