Sabrina von Styp
- von-styp@cs.rwth-aachen.de
- Address
- Room 4205
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21212
I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:
- Model-based testing
- Application of model-based testing
- Testing with real-time systems
Publications
2011
- Conference paper
Automatic Test-Case Derivation and Execution in Industrial Control
iATPA 2011
2010
- Conference paper
A Conformance Testing Relation for Symbolic Timed Automata
Formal modeling and analysis of timed systems
2009
- Conference paper
Towards a theory for timed symbolic testing
Proceedings of Formal Methods 2009