Evolutionary failing-test generation for modern microprocessors.

Ernesto Sánchez Giovanni Squillero Alberto Paolo Tonda

Published in: GECCO (Companion) (2011)

Keyphrases

test generation
test cases
symbolic execution
static analysis
test sequences
design automation
mutation testing
quality assurance
genetic algorithm
personal computer
software testing
real world
code coverage
petri net
image quality
computer architecture
evolutionary algorithm
regression testing
data sets
database