Mining and Checking Object Behavior by Valentin Dallmeier