Testing is a task that requires much effort, yet it is essential for developing software. Automated test case generation (TCG) promises to relieve humans of manual work. We introduce Muggl (the Muenster generator of glass-box test cases), which is developed at our institute. Muggl generates test...

Softwaretests sind als ein Hauptbestandteil des Entwicklungsprozesses ausschlaggebend für das Erstellen hochqualitativer Software. Wir haben mit regionalen Unternehmen zusammengearbeitet, um ihre Stärken und Schwächen bezüglich des Testens von Software kennenzulernen. Darauf aufbauend haben...

Dieser Arbeitsbericht fasst die Beiträge des 16. Kolloquium 'Programmiersprachen und Grundlagen der Programmierung (KPS'11)' zusammen, das vom 26. bis 28. September 2011 auf Schloss Raesfeld im Münsterland in Deutschland stattgefunden hat.

We present a technique for checking the validity of Java assertions using an arbitrary automated test-case generator. Our framework transforms the program by introducing code that detects whether the assertion conditions are met by every direct and indirect method call within a certain depth...

Constraint-logic object-oriented programming is useful in the integrated development of business software that occasionally solves constraint-logic problems. So far, work in constraint-logic object-oriented programming was limited to considering constraints that only involve logic variables of...

Process-Driven Applications (PDA) combine Business Process Management and less-code approaches. They are typically based on executable process models, human tasks, and adapter code to external software services. Process data is shared across these artifacts, managed by a process engine....

The European Research Center for Information Systems (ERCIS) was founded on October, 12th 2004. This Working Paper was written with respect to the establishment of ERCIS. Jörg Becker, Managing Director of the ERCIS, writes about fundamental issues of ERCIS. Furthermore all Founding Members...