Non-intrusive MC/DC Measurement based on Traces

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: Faustin Ahishakiye, Felix Dino Lange

Journal title: Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications

Journal publisher: University of Oslo

Published year: 2018

ISBN: 978-82-7368-435-6