|Title||Constraint-Based Testing: An Emerging Trend in Software Testing|
|Afilliation||Software Engineering, , Software Engineering|
|Project(s)||The Certus Centre (SFI)|
|Publication Type||Book Chapter|
|Year of Publication||2015|
|Book Title||Advances in Computers|
|Edition||ADCOM, UK: Academic Press|
Constraint-based testing is an emerging trend in software testing research and innovation. The general idea beneath this testing paradigm is to exploit a constraint solver to calculate the test inputs to be used for testing a software-system, so that the fault-revealing capabilities of the testing process can be improved. The incredible progresses achieved these last years on the development of powerful constraint solvers have fostered the emergence of effective and efficient constraint-based testing techniques. This chapter reviews in detail the main achievements reached in the field by illustrating them on simple examples and mentioning the main bibliographic references.