Efficient Software Verification: Statistical Testing Using Automated Search.

Simon M. Poulding John A. Clark

Published in: IEEE Trans. Software Eng. (2010)

Keyphrases

search algorithm
search space
efficient search
data driven
databases
search based testing
test data generation
efficient indexing
search efficiency
user queries
real time
cost effective
search queries
statistical tests
semi automated
computationally efficient
database systems
intelligent search
information retrieval