Arnaud Gotlieb, INRIA Rennes, France
- Date and Time
Wednesday, May 19th, 2010 at 15:15
Polacksbaken, room 1211
In the context of software testing, constraint-based testing (CBT) aims at generating test cases from programs or models to reach test objectives by using constraint programming techniques. Recently, CBT methods received much attention due to several research projects launched in France and abroad. This talk will review some of the achievements accomplished in this area by focusing on the problems related to the handling of control flow structures and dynamic data structures with abstraction-based constraint combinators. It will also draw some perspectives on the way CBT could be developed to address realistic case studies.