Black-box conformance testing for real-time systems (2004)

by Moez Krichen, Stavros Tripakis
Venue:In 11th International SPIN Workshop on Model Checking of Software (SPIN’04), volume 2989 of LNCS