stéphane ducasse wrote:

> I chased the reference for the assertion evaluation but did not have
> the time yet to read it :)
> "Robustness and diagnosability of oo systems designed by contracts."
> 	http://www.irisa.fr/triskell/bib2001.html#Baudry01a
>
> I think that this is worth to read at least this kicks me when I saw
> the PhD defense.

Then I suppose you have also seen this one:

http://www.irisa.fr/triskell/bib2003.html#nebut03a
Clémentine Nebut, Franck Fleurey, Yves Le traon, and Jean-Marc Jézéquel. --
Requirements by contracts allow automated system testing

which seems to be right up your alley.

Regards, Lothar