Sign in

An Active Learning Approach to Synthesizing Program Contracts.

Sandip GhosalBengt JonssonPhilipp 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