Softwaretechnik-Trends 32(1) - 2012 http://dl.gi.de/handle/20.500.12116/8624 Tue, 21 Jul 2026 14:25:43 GMT 2026-07-21T14:25:43Z Formal Verication of Web Applications http://dl.gi.de/handle/20.500.12116/8637 Formal Verication of Web Applications Ammann, Christian Sun, 01 Jan 2012 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/8637 2012-01-01T00:00:00Z Stakeholder-orientierter Software Test für Geschäftsanwendungen http://dl.gi.de/handle/20.500.12116/8636 Stakeholder-orientierter Software Test für Geschäftsanwendungen Klaus, Alexander Alexander Klaus Sun, 01 Jan 2012 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/8636 2012-01-01T00:00:00Z Test- und Qualitäts-Metriken — aus der Praxis für die Praxis http://dl.gi.de/handle/20.500.12116/8638 Test- und Qualitäts-Metriken — aus der Praxis für die Praxis Will, Hermann Sun, 01 Jan 2012 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/8638 2012-01-01T00:00:00Z Automatische Generierung von Testsequenzen für GUI-basierte Anwendungen mit Ant Colony Optimization http://dl.gi.de/handle/20.500.12116/8635 Automatische Generierung von Testsequenzen für GUI-basierte Anwendungen mit Ant Colony Optimization Wegener, Joachim; Bauersfeld, Sebastian; Wappler, Stefan Joachim Wegener, Sebastian Bauersfeld und Stefan Wappler Berner & Mattner Systemtechnik GmbH Gutenbergstr. 15 10587 Berlin Joachim.Wegener/Sebastian.Bauersfeld/Stefan.Wappler@berner-mattner.com Sun, 01 Jan 2012 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/8635 2012-01-01T00:00:00Z