Verifying Code toward Trustworthy Software.
Hyong-Soon KimEunyoung LeePublished in: J. Inf. Process. Syst. (2018)
Keyphrases
- source code
- software systems
- fully functional
- industry standard
- program understanding
- data sets
- linux kernel
- java programs
- software tools
- software maintenance
- website
- static analysis
- software design
- software developers
- software projects
- software components
- development process
- computer systems
- software package
- computer software
- legacy systems
- model checking
- test cases
- java virtual machine
- software development
- code snippets