Treffer: Efficient State Identification for Finite State Machine-Based Testing

Title:
Efficient State Identification for Finite State Machine-Based Testing
Source:
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 51(11):2996-3012 Nov, 2025
Database:
IEEE Xplore Digital Library