Partial Translation Verification for Untrusted Code-Generators.

Matthew Staats Mats Per Erik Heimdahl

Published in: ICFEM (2008)

Keyphrases

third party
machine translation
source code
model checking
face verification
byte code
false acceptance rate
symbolic execution
error correcting
statistical machine translation
static analysis
java card
cross language information retrieval
java programs
data storage
case study
information retrieval