AuthorsA. Gotlieb
TitleConstraint-Based Testing: An Emerging Trend in Software Testing
AfilliationSoftware Engineering, Software Engineering
Project(s)The Certus Centre (SFI)
Publication TypeTalks, invited
Year of Publication2016
Location of TalkXVI Jornadas sobre Programación y Lenguajes (PROLE 2016), Salamanca, Spain, 14-16 Sep. 2016
Type of TalkInvited Speaker

Software Testing involves the development of smart techniques to automatically find test inputs which uncover faults in programs. An emerging trend in this area, called ``Constraint-Based Testing'', aims at exploiting constraint solving techniques for this goal. My talk will review different techniques including dynamic symbolic execution, path-based exploration and constraint-based exploration and will emphasize the usage of advanced Constraint Programming tools.

Citation Key24763

Contact person