PROCOMP (PROgram COMParator)

PROCOMP   This experimental and in many ways pioneering tool, has been
developed to facilitate Regression Analysis, the reverification
activities that take place when the program is modified. The term
is a generalization of the better known concept of Regression Testing.
However, in contrast to the latter, Regression Analysis advocates the
use of all possible techniques to minimize the reverification effort.

To learn more about clustering and its applications,
see positions 8, 9 and 10 in the list of publications.