Automatically Generated Case Workbenches: A Preliminary Case Study