Login / Signup
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