Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations.

Ana R. Cavalli, Eliane Martins, Anderson Nunes Paiva Morais

Browse the full ICST paper archive.