Skip to main content
Department of Information Technology

Constraint-Based Testing


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.

Back to the seminar page

Updated  2010-05-12 17:50:23 by Frédéric Haziza.