CSTVA 2012

April 21st, 2012

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

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)