Program extrapolation with jennisys.

K. Rustan M. Leino Aleksandar Milicevic

Published in: OOPSLA (2012)

Keyphrases

database
social networks
databases
e learning
case study
three dimensional
high level
expert systems
multiresolution
computer programs
fault localization
program execution