Reverse Engineering Code Dependencies: Converting Integer-Based Variability to Propositional Logic.
Adam KrafczykSascha El-SharkawyKlaus SchmidPublished in: CoRR (2021)
Keyphrases
- propositional logic
- reverse engineering
- program understanding
- reverse engineer
- dynamic analysis
- software engineering
- software maintenance
- first order logic
- legacy systems
- object oriented
- belief revision
- software product line
- quantified boolean formulae
- lattice theory
- legacy software systems
- program slicing
- possibilistic logic
- gene regulatory networks
- software evolution
- propositional satisfiability
- source code
- satisfiability testing
- software development
- program comprehension
- database systems
- horn logic