Automatic Contract Insertion with CCBot.

Scott A. Carr Francesco Logozzo Mathias Payer

Published in: IEEE Trans. Software Eng. (2017)

Keyphrases

semi automatic
wide range
fully automatic
data structure
neural network
decision making
multiscale
expert systems
multiresolution