AuthorsA. Gotlieb
TitleConstraint-Based Testing: An Emerging Trend in Software Testing
AfilliationSoftware Engineering, Software Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
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
Abstract

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.

URLhttp://prole2016.webs.upv.es/
Citation Key24763

Contact person