Softwaretechnik-Trends 32(1) - 2012 http://dl.gi.de/handle/20.500.12116/8624 2026-07-21T14:25:40Z 2026-07-21T14:25:40Z Formal Verication of Web Applications Ammann, Christian http://dl.gi.de/handle/20.500.12116/8637 2017-12-06T09:21:49Z 2012-01-01T00:00:00Z Formal Verication of Web Applications Ammann, Christian 2012-01-01T00:00:00Z Stakeholder-orientierter Software Test für Geschäftsanwendungen Klaus, Alexander http://dl.gi.de/handle/20.500.12116/8636 2017-12-06T09:21:49Z 2012-01-01T00:00:00Z Stakeholder-orientierter Software Test für Geschäftsanwendungen Klaus, Alexander Alexander Klaus 2012-01-01T00:00:00Z Test- und Qualitäts-Metriken — aus der Praxis für die Praxis Will, Hermann http://dl.gi.de/handle/20.500.12116/8638 2017-12-06T09:21:49Z 2012-01-01T00:00:00Z Test- und Qualitäts-Metriken — aus der Praxis für die Praxis Will, Hermann 2012-01-01T00:00:00Z Automatische Generierung von Testsequenzen für GUI-basierte Anwendungen mit Ant Colony Optimization Wegener, Joachim Bauersfeld, Sebastian Wappler, Stefan http://dl.gi.de/handle/20.500.12116/8635 2017-12-06T09:21:49Z 2012-01-01T00:00:00Z 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 2012-01-01T00:00:00Z