2 citations · 2 across the 4 of their papers we have counts for
4 papers
Mining Diamonds in labeled Transition Systems
P. H. M. van Spaendonck, K. H. J. Jilissen
Labeled transition systems can be a great way to visualize the complex behavior of parallel and communicating systems. However, if, during a particular timeframe, no synchronizatio…
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…
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…
Verification of the busy-forbidden protocol (using an extension of the cones and foci framework)
P. H. M. van Spaendonck
The busy-forbidden protocol is a new readers-writer lock with no resource contention between readers, which allows it to outperform other locks. For its verification, specification…