An automated testing experiment for layered embedded C code.

Boutheina Chetali Quang Huy Nguyen

Published in: Int. J. Softw. Tools Technol. Transf. (2009)

Keyphrases

concurrent programs
source code
code generation
embedded systems
computer assisted
test cases
search based testing
semi automated
databases
test data
test set
operating system
open source
static analysis
low cost
symbolic execution
unit testing
genetic algorithm
database