Deriving exhaustive test suites for Timed Finite State Machines with output delays

Journal of Systems and Software 2026 Open access

Read full text

Authors: Evgenii Vinarskii, Natalia Kushik, Nina Vladimirovna Yevtushenko, Djamal Zeghlache

DOI: 10.1016/j.jss.2026.113077

Cited by: 0

References: 23

Fields of Study & Subjects

Software Testing and Debugging Techniques Formal Methods in Verification VLSI and Analog Circuit Testing

References 23