A comparative study of programmer-written and automatically inferred contracts.

Nadia Polikarpova Ilinca Ciupa Bertrand Meyer

Published in: ISSTA (2009)

Keyphrases

neural network
programming language
automatically generated
comparative study
computer vision
information systems
image processing
image segmentation
multiscale
moral hazard