Tài liệu Mô hình hóa và kiểm thử máy rút tiền atm bằng kỹ thuật sinh ca kiểm thử từ máy trạng thái hữu hạn (fsm finite state machines testing)