User-Guided Test Sequence Generation