Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng. Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. In 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand. pages 406-414, IEEE Computer Society, 2003. [doi]
Abstract is missing.