Florian Lapschies

Publication Activity (10 Years)

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

Top Topics

Answer Questions

Model Based Testing

Controlled Natural Language

Semantic Representation

Top Venues

Publications

Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska
Model-Based Testing from Controlled Natural Language Requirements. FTSCS (2013)
Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain. ICTSS (2011)
Jan Peleska, Elena Vorobev, Florian Lapschies
Automated Test Case Generation with SMT-Solving and Abstract Interpretation. NASA Formal Methods (2011)