He, Ren Wei (2003) Test adequacy measurement for real-time reactive system. Other thesis, Concordia University.