Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions