CUTE: a concolic unit testing engine for C.

Koushik Sen Darko Marinov Gul Agha

Published in: ESEC/SIGSOFT FSE (2005)

Keyphrases

unit testing
test cases
software testing
integration testing
black box
tool suite
air fuel ratio
databases
genetic algorithm
information systems
decision making
case study
multi agent
data types
test data
regular expressions