TY  - JOUR

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

JO  - Information and Software Technology

UR  - http://eprints.whiterose.ac.uk/145264/

PY  - 2019/08/01

AU  - Alberto I

AU  - Hierons R

AU  - Manuel N

ED  - 

DO  - DOI: 10.1016/j.infsof.2019.04.012

PB  - Elsevier

VL  - 112

SP  - 132

EP  - 147

Y2  - 2024/12/23

ER  -