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]
@inproceedings{CavalliMM08,
title = {Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations},
author = {Ana R. Cavalli and Eliane Martins and Anderson Nunes Paiva Morais},
year = {2008},
doi = {10.1109/ICSTW.2008.51},
url = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2008.51},
researchr = {https://researchr.org/publication/CavalliMM08},
cites = {0},
citedby = {0},
pages = {21-30},
booktitle = {First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3388-9},
}