DIFC programs by automatic instrumentation.

William R. Harris Somesh Jha Thomas W. Reps

Published in: CCS (2010)

Keyphrases

semi automatic
e government
data sets
knowledge base
case study
optimal solution
operating system
fully automatic
computer networks
automatic programming