Conference articles
- Ralf Gerlich. Generic and Extensible Automatic Test Data Generation for Safety Critical Software with CHR. In P. Van Weert and L. De Koninck, editors, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, applications, testing, CHR 2010, CHR 2010.
BACK TO INDEX