Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines.

Natalia Kushik, Jorge Lpez, Ana R. Cavalli, Nina Yevtushenko

Browse the full QRS paper archive.