Model-based mutant equivalence detection using automata language equivalence and simulations

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans

Journal title: Journal of Systems and Software

Journal number: 141

Journal publisher: Elsevier BV

Published year: 2018

Published pages: 1-15

DOI identifier: 10.1016/j.jss.2018.03.010

ISSN: 0164-1212