CP18: test&verif track

Call for papers

Dear Friends and Colleagues,

We take great pleasure to invite you to submit research articles in the special track on Test and Verification of the 24rd International Conference on Principles and Practice of Constraint Programming  (CP2018). We highly welcome works at the intersection between CP and Software/Hardware Validation and Verification.

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 solvers and applications is expected with on going research on Constraint Programming (CP) techniques. The Testing and Verification track of CP'2018 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

Kind regards,

Nadjib & Arnaud


Important Dates

April 12, 2018 Abstract submission
April 18, 2018 Paper submission
May 15-19, 2018 Author feedback
June 1, 2018 Notification of acceptance / rejection
June 15, 2017 Camera-ready





Program Committee

  • Sebastien Bardin, CEA LIST, France
  • Catherine Dubois, ENSIIE-Samovar, France
  • Vijay Ganesh, University of Waterloo, Canada
  • Matthias Heizmann, University of Freiburg, Germany
  • Roberto Castaneda Lozano, SICS, Sweden
  • Mehdi Maamar, CRIL Lens, France
  • Marie Pelleau, Universite Cote d’Azur, CNRS, I3S, France
  • Pascal Van Hentenryck, University of Michigan, USA
  • Lebbah Yahia, University of Oran 1, Algeria

Accepted papers

  • Özgür Akgün, Ian Gent, Christopher Jefferson, Ian Miguel and Peter Nightingale.
    "Metamorphic testing of constraint solvers".

  • Saeed Nejati, Jan Horacek, Catherine Gebotys and Vijay Ganesh.
    "Algebraic fault attack on SHA hash functions using programmatic SAT solvers".

eXTReMe Tracker