On Checking Executable Conceptual Schema Validity by Testing | Publicación