Reusing constraint proofs in program analysis.

Andrea Aquino Francesco A. Bianchi Meixian Chen Giovanni Denaro Mauro Pezzè

Published in: ISSTA (2015)

Keyphrases

linear constraints
learning objects
machine learning
social networks
information systems
image processing
case study
multiscale
search space
mobile robot
theorem proving
global constraints
penalty function
formal proofs