Antoine Rollet, Fares Saad Khorchef, Ismail Berrada, Richard Castanet, COMM : Automated Robustness Testing for Reactive Systems : Application to Communicating Protocols

Publié le 20/01/2009 – Mis à jour le 13/09/2025