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.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Bourdonov, Igor B.; Demakov, Alexey V.; Jarov, Andrew A.; Kossatchev, Alexander S.; Kuliamin, Victor V.; Petrenko, Alexander K.; Zelenov, Sergey V.: Java specification extension for automated test development (2001)
- Wilson, Rodney C.: UNIX test tools and benchmarks. Methods and tools to design, develop, and execute. Functional, structural, reliability, and regression tests (1995)