CP17: test&verif track

Call for papers

We take great pleasure to invite you to submit research article in the special track on Test and Verification of the 23rd International Conference on Principles and Practice of Constraint Programming (CP2017). We highly welcomes works at the intersection between CP and Test&Verif.

The last decade has witnessed a considerable improvement in the efficiency and expressive power of CP solvers, with a consequent impact on (software and hardware) testing and verification application. A deeper integration of solver and application is expected with on going research on Constraint Programming (CP) techniques. The Testing and Verification track of CP'2017 will focus on a broad range of topics, without being limited to the ones mentioned below:

  • Constraint-based hardware verification
  • Constraint-based software testing
  • Constraints in formal verification
  • Constraints in static and dynamic analysis
  • CP solvers for testing applications
  • Verification of CP models
  • Testing of CP solvers
  • Formal verification of CP solvers and optimizers
  • Automatic test generation with CP solvers


Important Dates

April 27, 2017 Abstract submission
April 30, 2017 Paper submission
May 29 - June 1, 2017 Author feedback
June 12, 2017 Notification of acceptance / rejection
June 26, 2017 Camera-ready





Program Committee

  • Sebastien Bardin, CEA LIST
  • Mats Carlsson, SICS
  • Roberto Castaneda Lozano, SICS
  • Catherine Dubois, ENSIIE-Samovar
  • Vijay Ganesh, University of Waterloo
  • Anastasia Paparrizou, LIRMM Montpellier
  • Marie Pelleau, LIP6, UPMC
  • Andreas Podelski, University of Freiburg
  • Michel Rueher, Universite Cote d’Azur, CNRS, I3S, France
  • Pascal Van Hentenryck, University of Michigan
  • Lebbah Yahia, University of Oran 1

Accepted papers


eXTReMe Tracker