Directed test generation to detect loop inefficiencies.

Monika Dhok Murali Krishna Ramanathan

Published in: SIGSOFT FSE (2016)

Keyphrases

test generation
test cases
symbolic execution
design automation
detection method
test sequences
static analysis
software testing
detection algorithm
quality assurance
test data generation