Sign in

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition.

Grégoire MenguySébastien BardinNadjib LazaarArnaud Gotlieb
Published in: IJCAI (2022)
Keyphrases
  • semi automated
  • inference engine
  • context sensitive
  • database
  • digital libraries
  • fully automated
  • inference process
  • artificial intelligence
  • data driven
  • semi automatic
  • fully automatic
  • bayesian model
  • efficient learning