Rachid Kherrazi

According to our database, Rachid Kherrazi authored at least 3 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Using tabular notation to support model based testing: A practical experience using STTSpec and Spec Explorer.

Rachid Kherrazi

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2015

The Synergy Between User Experience Design and Software Testing.

Arjan P. van der Meer, Rachid Kherrazi, Neda Noroozi, Anita Wierda

Proceedings of the Software Engineering and Formal Methods, 2015

2014

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

Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014