9:00 -- Opening

9:15 -- Invited speaker:

• Peli de Halleux: Lessons Learned while Taking Test Input Generation to the Masses with Pex

10:30 -- Break

11:00 -- Session "Constraints in code-based testing"

• Franz Wotawa, Mihai Nica and Bernhard Aichernig. Generating Distinguishing Tests using the MINION Constraint Solver
• Garrett Kaminski and Paul Ammann. Applications of Heuristics and Optimization to Logic Testing
• Rohan Sharma, Milos Gligoric, Vilas Jagannath and Darko Marinov. A Comparison of Constraint-based and Sequence-based Generation of Complex Input Data Structures

12:30 -- Lunch

14:30 -- Session "Constraints in model-based verification"

• Pierre-Cyrille Heam, Vincent Hugot and Olga Kouchnarenko. SAT Solvers for Queries over Tree Automata with Constraints
• Bruno Berstel and Michel Leconte. Using Constraints to Verify Properties of Rule Programs
• Pierre-Christophe Bue, Frederic Dadeau and Pierre-Cyrille Heam. Model Based Testing using Symbolic Animation and Machine Learning

16:00 -- End of the workshop