Program

9:00 am - 10:30 am: Keynote by Nikolaj Bjorner, Microsoft Research, USA

10:30 am - 11:00 am: Coffee Break

11:00 am - 12:30 pm: First Session: Fast Abstracts

• Directed Test Suite Augmentation via Exploiting Program Dependency

  Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen and Zijang Yang
  Xi’an Jiaotong University, China; Western Michigan University, USA

• Generating Test Cases inside Suspicious Intervals for Floating-Point Number Program

  Hélène Collavizza, Claude Michel, Olivier Ponsini and Michel Rueher
  University of Nice Sophia Antipolis, France; CNRS, France

• Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

  Michael Marcozzi, Wim Vanhoof and Jean-Luc Hainaut
  University of Namur, Belgium

12:30 pm - 2:00 pm: Lunch Break

2:00 pm - 3:30 pm: Second Session: Research Papers

• Model-Based Optimization of Automotive E/E-Architectures

  Stefan Kugele and Gheorghe Pucea
  TU München, Germany

• Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT

  Favio Demarco, Jifeng Xuan, Daniel Le Berre and Martin Monperrus
  Universidad de Buenos Aires, Argentina; INRIA, France; University of Artois, France; CNRS, France; University of Lille, France

• Suitability Analysis of CSP- and SMT-Solvers for Test Case Generation

  Hermann Felbinger and Christian Schwarzl
  Virtual Vehicle Research Center, Austria

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

4:00 pm - 5:25 pm: Panel Discussion

5:25 pm - 5:30 pm: Concluding Remarks