MindMap: Testing and Checking