Binary-Level Testing of Embedded Programs.

Sébastien Bardin Philippe Baufreton Nicolas Cornuet Philippe Herrmann Sébastien Labbé

Published in: QSIC (2013)

Keyphrases

embedded systems
databases
information retrieval
test cases
computer vision
image processing
web services
clustering algorithm
bayesian networks
information technology
low level
higher level
constraint satisfaction problems
lower level
levels of abstraction