Sign in

Formal Guarantees for Localized Bug Fixes.

Srobona MitraAnsuman BanerjeePallab DasguptaPriyankar GhoshHarish Kumar
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2013)
Keyphrases
  • source code
  • formal model
  • software systems
  • databases
  • real time
  • website
  • software projects
  • formal methods
  • neural network
  • decision making
  • digital libraries
  • worst case
  • bug localization