activity
20222025
most citedVerification of the busy-forbidden protocol (using an extension of the cones and foci framework)

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing cs.SEShow all

2 papers · 1 filter

cs.SE2024

Semi-Automatic Extraction of Formal Models from Object Oriented Code

P. H. M. van Spaendonck

Behavioral models are incredibly useful for understanding and validating software. However, the automatic extraction of such models from actual industrial code remains a largely un…

cs.SE2023

Efficient dynamic model based testing using greedy test case selection

P. H. M. van Spaendonck

Model-based testing (MBT) provides an automated approach for finding discrepancies between software models and their implementation. If we want to incorporate MBT into the fast and…