research
∙
05/01/2023
Efficient dynamic model based testing using greedy test case selection
Model-based testing (MBT) provides an automated approach for finding dis...
share
research
∙
08/10/2022
Verification of the busy-forbidden protocol (using an extension of the cones and foci framework)
The busy-forbidden protocol is a new readers-writer lock with no resourc...
research
∙
11/04/2021
