Spatio-Temporal Models for Formal Analysis and Property-Based Testing. - Nasser Alzahrani; Maria Spichkova; Jan Olaf Blech (STAF Workshops, 2016)

From Temporal Models to Property-based Testing. - Nasser Alzahrani; Maria Spichkova; Jan Olaf Blech (ENASE, 2017)

ADS4all: Democratizing Authenticated Data Structures. - Nasser Alzahrani; Ibrahim Khalil 001; Xun Yi (ICSOC Workshops, 2019)

Application of Property-based Testing Tools for Metamorphic Testing. - Nasser Alzahrani; Maria Spichkova; James Harland (ENASE, 2022)