arXiv:2407.18994v2 Announce Type: replace Abstract: We consider the automatic online synthesis of black-box test cases from functional requirements specified as automata for reactive implementations.
← Back to all developments · Signals are a development reported by more than one source. See the methodology.