Acte de conférence, colloque et atelier

Can a Model Checker Generate Tests ...

Boroday, S., Petrenko, A. and Groz, R. "Can a Model Checker Generate Tests for Non-Deterministic Systems?" in Proceedings of the Third Workshop on Model Based Testing (MBT 2007). Braga, Portugal