TesCaV: An Approach for Learning Model-Based Testing and Coverage in Practice | Publicación