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. 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]

Authors

Ana R. Cavalli

This author has not been identified. Look up 'Ana R. Cavalli' in Google

Eliane Martins

This author has not been identified. Look up 'Eliane Martins' in Google

Anderson Nunes Paiva Morais

This author has not been identified. Look up 'Anderson Nunes Paiva Morais' in Google