Synchronizable test sequences based on multiple UIO sequences
IEEE/ACM Transactions on Networking (TON)
Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
Hi-index | 0.89 |