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