Athena: A framework to automatically generate security test oracle via extracting policies from source code and intended software behaviour.
Hossein HomaeiHamid Reza ShahriariPublished in: Inf. Softw. Technol. (2019)
Keyphrases
- source code
- automatically generate
- software systems
- software maintenance
- open source
- software projects
- automatically generated
- software evolution
- open source software
- free software
- open source projects
- mining software repositories
- software architecture
- static analysis
- program understanding
- bug localization
- impact analysis
- case study
- mailing lists
- reusable components
- execution traces
- object oriented systems
- software repositories
- software development
- plagiarism detection
- maintenance activities
- white box
- manual inspection
- text files
- linux kernel
- program comprehension
- software engineers
- legacy systems
- real world
- design patterns
- test cases
- software artifacts
- software quality
- access control
- program slicing
- programming language
- high level