Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems.

Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng

Browse the full APSEC paper archive.