NaNofuzz: A Usable Tool for Automatic Test Generation.

Matthew C. Davis Sangheon Choi Sam Estep Brad A. Myers Joshua Sunshine

Published in: ESEC/SIGSOFT FSE (2023)

Keyphrases

test generation
test cases
test sequences
design automation
symbolic execution
static analysis
real world
semi automatic
cooperative
integrity constraints
life cycle
software testing
quality assurance