A
Menu
March 31, 2025 conference-paper

Mutating Skeletons: Learning Timed Automata via Domain Knowledge

IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

DOI: 10.1109/icstw64639.2025.10962513 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 0 stored of 1

References 1

1 result