FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts

Authors: Aleksandr Sergeevitch Tvardovskii, Nina Vladimirovna Evtushenko

Source: Труды Института системного программирования РАН, Vol 31, Iss 4, Pp 175-188 (2019)

Subject Terms: недетерминированные временные автоматы, временные ограничения, Electronic computers. Computer science, таймаут, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology, конечный автомат, синтез тестов с гарантированной полнотой

Access URL: https://ispranproceedings.elpub.ru/jour/article/download/1169/970
https://doaj.org/article/d36a2519d0bf410c841a8b5c0ff9935d
https://ispranproceedings.elpub.ru/jour/article/view/1169