Aarhus University Seal / Aarhus Universitets segl

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