Automated isolation for white-box test generation.

David Honfi Zoltán Micskei

Published in: Inf. Softw. Technol. (2020)

Keyphrases

test generation
white box
test cases
black box
source code
symbolic execution
test sequences
static analysis
design automation
software testing
mutation testing
regression testing
test data
test data generation
computer aided
test set
object oriented
cooperative
machine vision