An empirical study of test generation with BETA.

Ernesto Cid Brasil de Matos Anamaria Martins Moreira João Batista de Souza Neto

Published in: J. Braz. Comput. Soc. (2016)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
mutation testing
static analysis
quality assurance
test data generation
beta distribution
software testing
machine learning
image processing
databases
high level
code coverage