Arne-Michael Törsel

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Planning Domains

Modelling Language

Top Venues

Publications

Arne-Michael Törsel
A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker. ICST (2013)
Arne-Michael Törsel
Automated Test Case Generation for Web Applications from a Domain Specific Model. COMPSAC Workshops (2011)
Arne-Michael Törsel, Gerold Blakowski
Generierung von Webanwendungstestskripten aus einem textbasierten Modell. Softwaretechnik-Trends 30 (2) (2010)
Arne-Michael Törsel, Gerold Blakowski
Automatisierte Erzeugung konkreter Testfälle für Webanwendungen aus einem textbasierten Modell. GI Jahrestagung (2009)
Bernd-Jürgen Falkowski, Arne-Michael Törsel
Scoring Systems and Large Margin Perceptron Ranking using Positive Weights. PRIS (2008)
Karsten Rink, Arne-Michael Törsel, Klaus D. Tönnies
Segmentation of the Vascular Tree in CT Data Using Implicit Active Contours. Bildverarbeitung für die Medizin (2006)