@article{DBLP:journals/jsw/SuriS10, author = {Neeraj Suri and Purnendu Sinha}, title = {A Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation}, journal = {J. Softw.}, volume = {5}, number = {10}, pages = {1144--1161}, year = {2010}, url = {https://doi.org/10.4304/jsw.5.10.1144-1161}, doi = {10.4304/jsw.5.10.1144-1161}, timestamp = {Fri, 07 Aug 2020 17:16:21 +0200}, biburl = {https://dblp.org/rec/journals/jsw/SuriS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }