Using Squeeziness to test component-based systems defined as Finite State Machines

Alfredo Ibias, Robert M. Hierons, Manuel Núñez 0001. Using Squeeziness to test component-based systems defined as Finite State Machines. Information \& Software Technology, 112:132-147, 2019. [doi]

Abstract

Abstract is missing.