Tool-assisted unit-test generation and selection based on operational abstractions.

Tao Xie David Notkin

Published in: Autom. Softw. Eng. (2006)

Keyphrases

test generation
test cases
static analysis
test sequences
design automation
data sets
quality assurance
query processing
symbolic execution
mutation testing
databases
artificial intelligence
information systems
metadata
information technology