Secure Crowdsource-Based Open-Source Code Verification (SC)^2V.
Mor NahumEdita GrolmanInbar MaimonDudu MimranOleg BrodtAviad ElyasharYuval EloviciAsaf ShabtaiPublished in: SAC (2024)
Keyphrases
- source code
- symbolic execution
- open source
- software systems
- open source software
- static analysis
- software projects
- software maintenance
- program slicing
- open source projects
- software evolution
- linux kernel
- free software
- plagiarism detection
- code examples
- software repositories
- impact analysis
- high level
- software engineers
- model checking
- object oriented systems
- software artifacts
- visual basic
- version control
- text files
- object oriented