A Matrix-Based Approach to Test Sequences Generation for Protocol Implementations.

Alfio Lombardo, Sergio Palazzo, Alexandre Petrenko

Browse the full ICCC paper archive.