A Formal Approach to Fixing Bugs.

Sara Kalvala Richard Warburton

Published in: SBMF (2011)

Keyphrases

source code
social networks
formal model
formal analysis
information systems
software systems
database
hidden markov models
formal language
root cause
formal methods
software engineering
object oriented
data structure
multimedia
search engine
artificial intelligence
genetic algorithm
information retrieval