Jens Grabowski

Simulation Science

2018

Model-Driven Testing

2007

Formal Approaches to Software Testing (vol. # 3395)

2005

Specification based testing of

Specification based testing of real-time distributed systems: languages, tools and applications