Certus presence at top venues for Artificial Intelligence and Constraint Programming

Certus researchers have presented papers at the International Joint Conference on Artificial Intelligence (IJCAI’17) and The International Conference on Principles and Practice of Constraint Programming  (CP’17), which are the premier venues in Artificial Intelligence and Constraint Programming, while they were organized in Melbourne, Australia. These papers present strong results in the domain of constraint solving for software testing applications. On the one hand, solving constraints over array constraints allows symbolic execution tools to process complex verification conditions manipulating arrays. This work, co-authored by Certus Centre leader Arnaud Gotlieb, results from a collaboration with Inria France, and it was presented at IJCAI’17. On the other hand, a CP-based approach was presented at CP’17 for the test case execution scheduling problem. This paper was co-authored by Morten Mossinge from ABB Robotics, Arnaud Gotlieb and Helge Spieker from Simula, Hein Meling from University of Stavanger and Mats Carlsson from RISE (previously SICS), Sweden.