Reverse engineering code dependencies: converting integer-based variability to propositional logic.
Adam KrafczykSascha El-SharkawyKlaus SchmidPublished in: SPLC (2) (2018)
Keyphrases
- propositional logic
- reverse engineering
- program understanding
- reverse engineer
- dynamic analysis
- software engineering
- belief revision
- first order logic
- legacy software systems
- legacy systems
- object oriented
- gene regulatory networks
- software product line
- software maintenance
- program slicing
- lattice theory
- quantified boolean formulae
- source code
- belief change
- possibilistic logic
- artificial intelligence
- horn logic
- natural language
- domain knowledge
- satisfiability testing
- propositional formulas
- fault localization
- logic programs
- logic programming
- database applications