Acte de conférence, colloque et atelier

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs

Petrenko, A. and Yevtushenko, N. "Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs" in Proceedings of the 23d IFIP International Conference on Testing Software and Systems (ICTSS 2011), pp. 162-198. Paris, France, du 7 au 10 novembre 2011