Common specification language for static and dynamic analysis of C programs.
Mickaël DelahayeNikolai KosmatovJulien SignolesPublished in: SAC (2013)
Keyphrases
- dynamic analysis
- specification language
- symbolic execution
- static analysis
- formal specification
- reverse engineering
- model checking
- description language
- programming language
- abstract interpretation
- software engineering
- requirements specification
- source code
- real world
- test generation
- object oriented
- software environment
- regular expressions
- knowledge management
- query language
- training data
- case study
- web services