Text this: FSM-Based Testing from User Defined Faults Adapted to Incremental and Mutation Testing 1; Programming and Computer Software; Vol. 38, iss. 4