Login / Signup

HiFrog: SMT-based Function Summarization for Software Verification.

Leonardo AltSepideh AsadiHana ChocklerKarine Even-MendozaGrigory FedyukovichAntti E. J. HyvärinenNatasha Sharygina
Published in: TACAS (2) (2017)
Keyphrases
  • computer vision
  • databases
  • feature selection
  • multiscale
  • objective function
  • data structure
  • hidden markov models
  • level set
  • multi document summarization