Assertion Definition Language (ADL) is a high-level language that provides a formal grammar for the expression of programmatic assertions. It can be used to automatically generate tests based on API specifications and to produce natural language representations of these assertions for documentation. The language has C/C++, IDL and Java dialects each of which are designed to reflect the syntax of those languages to help developers to better describe native APIs. The Assertion Definition Language system of translators, document and code generators are freely available as a single package. Users may do anything with the system, as long as they continue to give credit to the ADL project.

References in zbMATH (referenced in 9 articles )

Showing results 1 to 9 of 9.
Sorted by year (citations)

  1. Godefroid, Patrice; Sen, Koushik: Combining model checking and testing (2018)
  2. Vanoverberghe, Dries; de Halleux, Jonathan; Tillmann, Nikolai; Piessens, Frank: State coverage: Software validation metrics beyond code coverage (2012) ioport
  3. Gupta, Atul; Jalote, Pankaj: An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing (2008) ioport
  4. Xiao, Man; El-Attar, Mohamed; Reformat, Marek; Miller, James: Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques (2007) ioport
  5. Kapoor, Kalpesh: Formal analysis of coupling hypothesis for logical faults (2006) ioport
  6. Chen, Yuting; Liu, Shaoying; Nagoya, Fumiko: An approach to integration testing based on data flow specifications (2005)
  7. Godefroid, Patrice: Software model checking: The veriSoft approach (2005) ioport
  8. Cheon, Yoonsik; Leavens, Gary T.: A simple and practical approach to unit testing: The JML and JUnit way (2002)
  9. Wilson, Rodney C.: UNIX test tools and benchmarks. Methods and tools to design, develop, and execute. Functional, structural, reliability, and regression tests (1995)

Further publications can be found at: