Auflistung Softwaretechnik-Trends 32(1) - 2012 nach Titel - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-6 von 6

«
»

32. Treffen der GI-Fachgruppe — Test, Analyse & Verifikation von Software (TAV 32)

Pietschker, Andrej
2-3
Automatische Generierung von Testsequenzen für GUI-basierte Anwendungen mit Ant Colony Optimization

Wegener, Joachim; Bauersfeld, Sebastian; Wappler, Stefan
6-7
ConSequence — Model-Based Testing With State Machines and Concatenated Sequence Diagrams

Weißleder, Stephan; Sokenou, Dehla
4-5
Formal Verication of Web Applications

Ammann, Christian
10-11
Stakeholder-orientierter Software Test für Geschäftsanwendungen

Klaus, Alexander
8-9
Test- und Qualitäts-Metriken — aus der Praxis für die Praxis

Will, Hermann
12-13

Anzeige der Dokumente 1-6 von 6

«
»