José L. Fernández Acceptance Testing of Object Oriented Systems. 114-123 http://link.springer.de/link/service/series/0558/bibs/1622/16220114.htm 1999 conf/adaEurope/1999 Ada-Europe db/conf/adaEurope/adaEurope1999.html#Fernandez99