3 papers
cs.SE2022
Application of property-based testing tools\\ for metamorphic testing
Nasser Alzahrani, Maria Spichkova, James Harland
Metamorphic testing (MT) is a general approach for the testing of a specific kind of software systems -- so-called ``non-testable'', where the ``classical'' testing approaches are…
cs.SE2017
From Temporal Models to Property-Based Testing
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models. The aim of this work is to help software engineers to understand temporal mo…
cs.SE2016
Spatio-temporal Models for Formal Analysis and Property-based Testing
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
This paper presents our ongoing work on spatio-temporal models for formal analysis and property-based testing. Our proposed framework aims at reducing the impedance mismatch betwee…