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