Contract-based program repair without the contracts.

Liushan Chen Yu Pei Carlo A. Furia

Published in: ASE (2017)

Keyphrases

supply chain
moral hazard
revenue sharing
computer programs
databases
programming environment
artificial intelligence
database systems
principal agent
database
machine learning
static analysis
program execution
damage assessment