A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications. - Jens Nodler; Helmut Neukirchen; Jens Grabowski (ICST, 2009)