Ana R. Cavalli, Eliane Martins, Anderson Nunes Paiva Morais. Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations. In First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings. pages 21-30, IEEE Computer Society, 2008. [doi]
Abstract is missing.