3 papers
cs.FL2025
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…
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…