Rapport technique

Test Generation for Non-Deterministic Systems ...

Boroday, S., Petrenko, A., Groz, R. Test Generation for Non-Deterministic Systems with Model and Module Checkers. Montreal, CRIM, 2007. [CRIM-07/02-02]