Michael Esser, Peter Struss. Automated Test Generation from Models Based on Functional Software Specifications. In Bhanu Prasad, editor, Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007. pages 2255-2268, IICAI, 2007.
Abstract is missing.