AuthorsA. Gotlieb and V. Ganesh
TitleChallenges in Constraint-Based Testing
AfilliationSoftware Engineering, Software Engineering, Software Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
Publication TypeTalks, contributed
Year of Publication2014
Location of TalkSelected talk at 'Verification meets CP' workshop 2014, Lyon, France
Publisher.
Place Published.
KeywordsWorkshop
Abstract

Constraint-Based Testing emerged ten years ago as an important software testing topic. Many developments in symbolic execution, a technique used to symbolically explore the execution paths of a program under test, revealed the pressing needs for having at hand powerful constraint solving methods.
Citation KeySimula.simula.2854