An analytical model for source code distributability verification.
Ayaz IsazadehJaber KarimpourIslam ElgedawyHabib IzadkhahPublished in: J. Zhejiang Univ. Sci. C (2014)
Keyphrases
- source code
- analytical model
- symbolic execution
- open source
- software systems
- open source software
- analytical models
- software projects
- software maintenance
- static analysis
- model checking
- software evolution
- software artifacts
- formal verification
- execution traces
- software repositories
- simulation model
- linux kernel
- impact analysis
- source files
- reverse engineer
- bug localization
- program comprehension
- software engineers
- multi agent systems
- mailing lists
- version control
- free software
- program slicing
- real world