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...

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...

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...

Die Arbeit thematisiert den datenparallelen Bestandteil der Münster Skelettbibliothek Muesli und beschreibt neben einer Reihe implementierter Erweiterungen auch mit Muesli parallelisierte Anwendungen. Eine der wichtigsten Neuerungen ist die Unterstützung von Mehrkernprozessoren durch die...

Das Debugging ist ein komplexer und arbeitsintensiver Prozess in der Softwareentwicklung. Für das Debugging von Java-Programmen werden bis heute vor allem sogenannte Trace-Debugger verwendet. Diese unterstützen die Fehlersuche, indem sie es ermöglichen, ein untersuchtes Programm schrittweise...

Am 12. Oktober 2004 wurde das European Research Center for Information Systems (ERCIS) in einem feierlichen Gründungsakt ins Leben gerufen. In der Feierstunde im Schloss der Universität Münster haben Vertreter der Universität, der Politik, der Verwaltung und von Unternehmen ihre Visionen...