Arifulina, S., Soltenborn, C., & Engels, G. (2012). Coverage Criteria for Testing DMM Specifications. Electronic Communications of the EASST, 47. https://doi.org/10.14279/tuj.eceasst.47.718