Source Code and Formal Analysis: A Reading of Passage.
Ea Christina WillumsenPublished in: Trans. Digit. Games Res. Assoc. (2017)
Keyphrases
- formal analysis
- source code
- program comprehension
- open source
- software systems
- open source software
- software maintenance
- software projects
- question answering
- formal methods
- document retrieval
- static analysis
- software evolution
- software repositories
- plagiarism detection
- version control
- open source projects
- impact analysis
- execution traces
- relational databases
- maintenance activities
- free software
- high level
- mailing lists
- agent model
- life cycle
- programming language
- reverse engineer