Finite State Model-Based Testing on a Shoestring