Demonstration of an Automated Integrated Test Environment for Web-Based Applications

Coarse-granular model checking in practice

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software

Library-Based Design and Consistency Checking of System-Level Industrial Test Cases

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering

METAFrame in Practice: Design of Intelligent Network Services

Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)

Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Automated Regression Testing of CTI-Systems

ETW '01 Proceedings of the IEEE European Test Workshop (ETW'01)

Structural Testing of Web Applications

ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering