Adenilso da Silva Simão. The application of mutation testing in the context of testing and validation of coloured Petri nets. PhD thesis, University of São Paulo, Brazil, 2004. [doi]
@phdthesis{ndltd-3432, title = {The application of mutation testing in the context of testing and validation of coloured Petri nets}, author = {Adenilso da Silva Simão}, year = {2004}, url = {http://search.ndltd.org/show.php?id=oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_USP:oai:teses.usp.br:tde-13042005-152434}, note = {ndltd.org (oai:agregador.ibict.br.BDTD_USP:oai:teses.usp.br:tde-13042005-152434)}, researchr = {https://researchr.org/publication/ndltd-3432}, cites = {0}, citedby = {0}, school = {University of São Paulo, Brazil}, }