The paper Automated Testing with Targeted Event Sequence Generation is accepted at ISSTA 2013 1 May 2013 by Ann Eg Mølhave Link to the paper