Thierry Jéron Jean-Marc Jézéquel Alain Le Guennec Validation and Test Generation for Object-Oriented Distributed Software. 51-60 1998 PDSE http://dlib.computer.org/conferen/pdse/8467/pdf/84670051.pdf db/conf/pdse/pdse1998.html#JeronJG98