Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications | Publicación