Rule-based Test Generation with Mind Maps - Dimitry Polivaev (MBT, 2012)