Florian Lapschies

According to our database, Florian Lapschies authored at least 3 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Model-Based Testing from Controlled Natural Language Requirements.

Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2011

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain.

Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten

Proceedings of the Testing Software and Systems, 2011

Automated Test Case Generation with SMT-Solving and Abstract Interpretation.

Jan Peleska, Elena Vorobev, Florian Lapschies

Proceedings of the NASA Formal Methods, 2011