Checking Complex Source Code-Level Constraints using Runtime Verification.
Joshua Heneage DawesDomenico BianculliPublished in: SIGSOFT FSE Companion (2024)
Keyphrases
- source code
- symbolic execution
- open source
- software systems
- open source software
- software maintenance
- high level
- static analysis
- software projects
- software repositories
- software evolution
- plagiarism detection
- program understanding
- linux kernel
- execution traces
- software engineering
- source files
- version control
- real world
- authorship attribution
- mining software repositories
- program comprehension
- java card
- legacy systems
- open source projects
- software artifacts
- reusable components
- impact analysis
- object oriented systems
- text files
- software engineers