P. H. M. van Spaendonck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2022–2025
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TASE | Mining Diamonds in Labelled Transition Systems. | P. H. M. van Spaendonck, Kevin H. J. Jilissen |
| 2023 | CONCUR | The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing. | P. H. M. van Spaendonck, Tim A. C. Willemse |
| 2023 | FORTE | Efficient Dynamic Model Based Testing - Using Greedy Test Case Selection. | P. H. M. van Spaendonck |
| 2022 | ISoLA | A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). | Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck |