Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking.
Juan P. GaleottiCarlo A. FuriaEva MayGordon FraserAndreas ZellerPublished in: IEEE Trans. Software Eng. (2015)
Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- evolutionary algorithm
- genetic algorithm
- differential evolution
- malicious behavior
- mutation operator
- genetic algorithm ga
- model checking
- invariant features
- software engineering
- imperative programs
- real world
- abstract interpretation
- population size
- candidate solutions
- moment invariants
- fitness function
- pattern matching
- source code
- machine learning