Generate code that mocks using some lib instead of the aspectj playback code and verifies the return values/parameter values (most mocking libs supports both sequential return values from mocks (like the lib works now) and based on parameters (see other task).
I think of starting on this task by making a test that checks if a mocking lib is usable (i.e. it can mock invocations without making interfaces/changing existing code).