TestPrepPro
Ch 4K2MediumFL-4.3.1

Which test technique uses a model of the system such as a state transition diagram to derive test cases?