Для цитирования:

Твардовский А.С., Евтушенко Н.В. Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций. Труды Института системного программирования РАН. 2019;31(4):175-188. https://doi.org/10.15514/ISPRAS-2019-31(4)-12

For citation:

Tvardovskii A.S., Evtushenko N.V. FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(4):175-188. https://doi.org/10.15514/ISPRAS-2019-31(4)-12