Zhongping Tao, Gregor von Bochmann, Rachida Dssouli. Verification and diagnosis of testing equivalence and reduction relation. In 1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, Japan. pages 14-21, IEEE Computer Society, 1995. [doi]
@inproceedings{TaoBD95:0, title = {Verification and diagnosis of testing equivalence and reduction relation}, author = {Zhongping Tao and Gregor von Bochmann and Rachida Dssouli}, year = {1995}, doi = {10.1109/ICNP.1995.524814}, url = {http://doi.ieeecomputersociety.org/10.1109/ICNP.1995.524814}, tags = {testing}, researchr = {https://researchr.org/publication/TaoBD95%3A0}, cites = {0}, citedby = {0}, pages = {14-21}, booktitle = {1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, Japan}, publisher = {IEEE Computer Society}, }