Program

April 21st, 2012

9:30am - 10:30am: Keynote (Session chair: Cristian Cadar)

• Vijay Ganesh, MIT: SMT Solvers for Software Reliability and Security

10:30am - 11:00am Coffee break

11:00am - 12:00pm: Fast abstracts I (Session chair: Franz Wotawa)

• Corina Pasareanu, Daniel Balasubramanian: Statechart Analysis with Symbolic PathFinder

• Arnaud Gotlieb, Aymeric Hervieu and Benoit Baudry: Minimum pairwise coverage using constraint programming techniques

12:00pm - 2:00pm: Lunch break

2:00pm - 3:30pm: Full Papers (Session chair: Arnaud Gotlieb)

• Bernhard K. Aichernig and Elisabeth Joebstl: Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints

• Peter M. Kruse, Jürgen Bauer and Joachim Wegener: Numerical Constraints for Combinatorial Interaction Testing

• Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati and Lionel Briand: Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques

3:30pm - 4:00pm: Coffee break

4pm - 5pm: Fast abstracts II (Session chair: Frederic Dadeau)

• Franz Wotawa: Open research challenges of localizing faults in programs using constraints

• Olivier Ponsini, Claude Michel and Michel Rueher: Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs

5pm: Closing remarks (Session chair: Frederic Dadeau)