Embedding Verification Concerns in Self-Adaptive System Code.

Sharmin Jahan Allen Marshall Rose F. Gamble

Published in: SASO (2017)

Keyphrases

binary codes
source code
face verification
data sets
control parameters
model checking
vector space
nonlinear dimensionality reduction
verification method
byte code
open source
formal methods
signature verification
graph embedding
symbolic execution
robust image watermarking