From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages | Publicación