Is your software on dope? Formal analysis of surreptitiously "enhanced" programs.
Pedro R. D'ArgenioGilles BartheSebastian BiewerBernd FinkbeinerHolger HermannsPublished in: CoRR (2017)
Keyphrases
- formal analysis
- formal methods
- free software
- software development
- control flow
- source code
- software systems
- programming environments
- software tools
- open source
- software architecture
- computer programs
- hardware designs
- user interface
- program slicing
- java programs
- software projects
- design patterns
- knowledge acquisition
- low cost