[bull-ia] [CfP] thematic track on Test and Verification CP 2019

We Request you to forward this email to other Researchers in your university

Dear Friends and Colleagues, 

We take great pleasure to invite you to submit research article in the special track on Test and Verification of the 25th International Conference on Principles and Practice of Constraint Programming  (CP2019). 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’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

Important Dates
May 9, 2019 Abstract submission
May 15, 2019 Paper submission
June 17-20, 2019 Author feedback
June 30, 2019 Notification of acceptance / rejection
July 19, 2019 Camera-ready

Kind regards,
Arnaud & Nadjib