Generating Complete and Finite Test Suite for ioco: Is It Possible?

Adenilso da Silva Simão Alexandre Petrenko

Published in: MBT (2014)

Keyphrases

test suite
regression testing
test cases
test suite reduction
software testing
static analysis
automatically generating
mutation testing
number of test cases
test sequences
artificial intelligence
e learning
image sequences
real numbers