Specification of Conditions for Error Diagnostics. - Christof Efkemann; Tobias Hartmann 002 (SSV, 2008)

Testing End-To-End Chains using Domain Specific Languages. - Tobias Hartmann 002 (2015)