Static analysis of program source code using EDSA.
Leonard I. VanekMark N. CulpPublished in: ICSM (1989)
Keyphrases
- static analysis
- source code
- dynamic analysis
- symbolic execution
- open source
- software systems
- software projects
- java card
- test generation
- software maintenance
- software evolution
- program understanding
- program comprehension
- execution traces
- plagiarism detection
- high level
- visual basic
- text files
- real world
- program slicing
- software repositories
- structured data
- test cases
- artificial intelligence