The paper Automated Testing with Targeted Event Sequence Generation is accepted at ISSTA 2013