TY  - RPRT
TI  - Efficient dynamic model based testing using greedy test case selection
AU  - P. H. M. van Spaendonck
PY  - 2023
UR  - https://arxiv.org/abs/2305.00705
ID  - 2305.00705
ER  -