Nasser Alzahrani

According to our database, Nasser Alzahrani authored at least 4 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Application of Property-based Testing Tools for Metamorphic Testing.

Nasser Alzahrani, Maria Spichkova, James Harland

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

2019

ADS4all: Democratizing Authenticated Data Structures.

Nasser Alzahrani, Ibrahim Khalil, Xun Yi

Proceedings of the Service-Oriented Computing - ICSOC 2019 Workshops, 2019

2017

From Temporal Models to Property-based Testing.

Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech

Proceedings of the ENASE 2017, 2017

2016

Spatio-Temporal Models for Formal Analysis and Property-Based Testing.

Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech

Proceedings of the Software Technologies: Applications and Foundations, 2016