Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery.
Mohammad Amin AlipourAlex GroceChaoqiang ZhangAnahita SanadajiGokul CaushikPublished in: CoRR (2016)
Keyphrases
- source code
- static analysis
- open source
- dynamic analysis
- software systems
- high level
- symbolic execution
- software projects
- open source software
- software evolution
- source code metrics
- artificial intelligence
- free software
- java card
- software maintenance
- regular expressions
- conceptual model
- operating system
- xml documents