Matthias Schnelte. Generating Test Cases for Timed Systems from Controlled Natural Language Specifications. In Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2010. pages 348-353, IEEE Computer Society, 2009. [doi]
Abstract is missing.