Testing Software Design Modeled by Finite-State Machines

Tsun S. Chow. Testing Software Design Modeled by Finite-State Machines. IEEE Trans. Software Eng., 4(3):178-187, 1978.

Abstract

Abstract is missing.