Verification of Generated RTL from P4 Source Code.
Radek IsaPavel BenácekViktor PusPublished in: ICNP (2018)
Keyphrases
- source code
- symbolic execution
- open source
- software systems
- software projects
- open source software
- software maintenance
- static analysis
- open source projects
- software evolution
- high level
- program understanding
- impact analysis
- program comprehension
- plagiarism detection
- free software
- mining software repositories
- bug localization
- text files
- linux kernel
- source code metrics
- maintenance activities
- mailing lists
- software engineers
- software artifacts
- object oriented systems
- real world
- software repositories
- software development
- reverse engineer
- programming language
- change impact analysis
- code reuse
- case study