ADL2

The Assertion Based Testing Tool for OOP: ADL2 This is a paper describing an assertion based testing tool for object oriented programming (OOP) languages. It includes the architecture of formal specification language and its translator to test programs.