Testing Software Design Modeled by Finite-State Machines | IEEE Journals & Magazine | IEEE Xplore