Model-based testing of data types with side effects | Publicación