Acte de conférence, colloque et atelier

Generating Checking Sequences for User Defined Fault Models

Petrenko, A. et Simao, A. "Generating Checking Sequences for User Defined Fault Models" dans Proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2017), pp. 320-325. Volume 10533 part of the Lecture Notes in Computer Science book series. St. Petersburg, Russia, du 9 au 11 octobre 2017