Safety checking of machine code.

Zhichen Xu Barton P. Miller Thomas W. Reps

Published in: PLDI (2000)

Keyphrases

source code
machine learning
genetic algorithm
artificial intelligence
program code
databases
information retrieval
social networks
expert systems
error correcting
batch processing