Techniques for Software Testing

Constraint-Based Techniques for Software Testing

FREE-DOWNLOAD [PDF] N Kosmatov – … for improved software engineering development: new …, 2010
In this chapter, the authors discuss some innovative applications of artificial intelligence techniques
to software engineering, in particular, to automatic test generation. Automatic testing tools translate
the program under test, or its model, and the test criterion, or the test objective, into