Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques. - Arjan P. van der Meer; Rachid Kherrazi; Marc Hamilton (MBT, 2014)

The Synergy Between User Experience Design and Software Testing. - Arjan P. van der Meer; Rachid Kherrazi; Neda Noroozi; Anita Wierda (SEFM Workshops, 2015)

Using tabular notation to support model based testing: A practical experience using STTSpec and Spec Explorer. - Rachid Kherrazi (ICST Workshops, 2020)