An Active Learning Approach to Synthesizing Program Contracts.

Sandip Ghosal Bengt Jonsson Philipp Rümmer

Published in: SEFM (2023)

Keyphrases

supply chain
computer programs
programming environment
program execution
databases
neural network
genetic algorithm
decision trees
search algorithm
object oriented
advanced research projects agency