Rachid Kherrazi

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 2

Top Topics

Model Based Testing

Formal Specification

Practical Experience

Top Venues

Publications

Rachid Kherrazi
Using tabular notation to support model based testing: A practical experience using STTSpec and Spec Explorer. ICST Workshops (2020)
Arjan P. van der Meer, Rachid Kherrazi, Neda Noroozi, Anita Wierda
The Synergy Between User Experience Design and Software Testing. SEFM Workshops (2015)
Arjan P. van der Meer, Rachid Kherrazi, Marc Hamilton
Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques. MBT (2014)