Automatically extracting mock object behavior from Design by Contract™ specification for test data generation. - Stefan J. Galler; Andreas Maller; Franz Wotawa (AST, 2010)