Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão. Experimental comparison of approaches for checking completeness of test suites from finite state machines. Information \& Software Technology, 92:95-104, 2017. [doi]
@article{BonifacioMS17,
title = {Experimental comparison of approaches for checking completeness of test suites from finite state machines},
author = {Adilson Luiz Bonifácio and Arnaldo Vieira Moura and Adenilso da Silva Simão},
year = {2017},
doi = {10.1016/j.infsof.2017.07.012},
url = {https://doi.org/10.1016/j.infsof.2017.07.012},
researchr = {https://researchr.org/publication/BonifacioMS17},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {92},
pages = {95-104},
}