General framework for testing using formal languages | Publicación