Sabrina von Styp

Publication Activity (10 Years)

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

Top Topics

Software Testing

Intermediate Level

Industrial Automation

Top Venues

Haifa Verification Conference

Publications

Sabrina von Styp, Liyong Yu
Symbolic Model-Based Testing for Industrial Automation Software. Haifa Verification Conference (2013)
Sabrina von Styp
Symbolic and Timed Testing. AlgoSyn (2010)
Sabrina von Styp, Henrik C. Bohnenkamp, Julien Schmaltz
A Conformance Testing Relation for Symbolic Timed Automata. FORMATS (2010)