TY - JOUR AU - TI - Test selection based on finite state models JF - IEEE Transactions on Software Engineering DO - 10.1109/32.87284 DA - 1991-06-01 UR - https://www.deepdyve.com/lp/unpaywall/test-selection-based-on-finite-state-models-Ecl9JNmeIg DP - DeepDyve ER -