Using Squeeziness to test component-based systems defined as Finite State Machines | Publicación