Identifies critical issues involved with the testing of object oriented software, and with testing of an implementation based on its formal specifications.