(Softwaretechnik-Trends Band 25, Heft 2, 2005) Bouillon, Philipp
We describe the outline of a method to retrieve a model from various program runs of object-oriented software which can then be used to find bugs in the program, re-design or refactor it, test the program against the model, perform regression testing and check if new code violates the model. When completed, the model extraction and testing will be implemented as an Eclipse plug-in and the programmer is informed of deviations from the model.