Program

9h15-10h30: Keynote speaker

• Sarfraz Kurshid - Systematic Software Testing Using Logical Constraints (see keynote)

10h30-11h: Coffee break

11h-12h30: Session 1

• Random Grammar-based Testing for Covering All Non-Terminals
  A. Dreyfus, P.-C. Heam and O. Kouchnarenko
• A stack model for symbolic buffer overflow exploitability analysis
  G. Grieco, L. Mounier, M.-L. Potet and S. Rawat
• A Constraint Solver for PHP Arrays
  I. Enderlin, A. Giorgetti and F. Bouquet

12h30-13h45: Lunch

13h45-15h15: Session 2

• Strategies Comparison of Test Generation from UML using SMT solver
  J. Cantenot, F. Ambert and F. Bouquet
• A Late Treatment of C Precondition in Dynamic Symbolic Execution
  M. Delahaye and N. Kosmatov
• SOA grey box testing - a constraint-based approach
  S. Jehan, I. Pill and F. Wotawa

15h15-15h45: Coffee break

15h45-16h45: Session 3

• Rank: a tool to check program termination and computational complexity
  C. Alias, A. Darte, P. Feautrier and L. Gonnord
• Test Generation for Robotized Paint Software Systems using Constraint Programming in a Continuous Integration Environment
  M. Mossige, A. Gotlieb, H. Meling

16h45: announcements and closing