P. H. M. van Spaendonck

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 8

Top Topics

Test Case Selection

Formal Analysis

Top Venues

A Journey from Process Algebra via Timed Automata to Model Learning

Publications

P. H. M. van Spaendonck, Tim A. C. Willemse
The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing. CONCUR (2023)
P. H. M. van Spaendonck
Efficient dynamic model based testing using greedy test case selection. CoRR (2023)
P. H. M. van Spaendonck
Efficient Dynamic Model Based Testing - Using Greedy Test Case Selection. FORTE (2023)
P. H. M. van Spaendonck
Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework). FSEN (2023)
Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck
A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). ISoLA (1) (2022)
P. H. M. van Spaendonck
Verification of the busy-forbidden protocol (using an extension of the cones and foci framework). CoRR (2022)
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck
A thread-safe Term Library. CoRR (2021)