The VIVA project focuses on the use of Artificial Intelligence methods in Software Verification and Validation (V&V). A crucial challenge in V&V aims at automatically detecting and locating faults in computer programs. Our recent work in this matter suggests that this problem of automatic fault localization can be advantageously tackled with Data mining (DM) and Constraint Programming (CP) techniques. Such a reduction has enabled us to propose efficient resolution methods using CP mechanisms and achieved a major breakthrough in the field . In parallel, the Software Engineering group at SIMULA RESEARCH LABORATORY1 has developed a number of advanced techniques in V&V using Artificial Intelligence techniques. In particular, working on test case generation [2,3], test suite reduction and scheduling [4,5], this group has acquired a great expertise in the usage of CP and Machine Learning techniques for various software testing applications [6,7]. The VIVA project will strengthen our results by forging a solid and long-term partnership between LIRMM and SIMULA by developing new methods for V&V problems with Artificial Intelligence-based techniques such as CP and DM. VIVA will also foster collaboration between LIRMM and SIMULA through the visit of researchers and PhD students from both side.
Project leader: Arnaud Gotlieb
Category: Øvrige forskningsinstitutter
Institution: SIMULA RESEARCH LABORATORY AS