Prospect: peripheral proxying supported embedded code testing.

Markus Kammerstetter Christian Platzer Wolfgang Kastner

Published in: AsiaCCS (2014)

Keyphrases

concurrent programs
unit testing
test cases
symbolic execution
software testing
embedded systems
source code
code generation
neural network
low cost
computer vision
software development
test set
data sets
watermarking algorithm
test generation
object oriented