Goal-oriented dynamic test generation.

TheAnh Do Siau-Cheng Khoo Alvis Cheuk Ming Fong Russel Pears Tho Thanh Quan

Published in: Inf. Softw. Technol. (2015)

Keyphrases

goal oriented
test generation
requirements engineering
test cases
test sequences
requirements analysis
mutation testing
database
artificial intelligence
static analysis
design automation
databases
image processing
data model
symbolic execution