Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao. On Fault Coverage of Tests for Finite State Specifications. Computer Networks, 29(1):81-106, 1996. [doi]
@article{PetrenkoBY96, title = {On Fault Coverage of Tests for Finite State Specifications}, author = {Alexandre Petrenko and Gregor von Bochmann and Ming Yu Yao}, year = {1996}, doi = {10.1016/S0169-7552(96)00019-0}, url = {http://dx.doi.org/10.1016/S0169-7552(96)00019-0}, tags = {test coverage, testing, coverage}, researchr = {https://researchr.org/publication/PetrenkoBY96}, cites = {0}, citedby = {0}, journal = {Computer Networks}, volume = {29}, number = {1}, pages = {81-106}, }