H. X. Zeng;Q. Li;X. F. Du;C. S. He
-;-;-;-
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering