Software Tamper Resistance Using Program Certificates.
Hongxia JinGregory F. SullivanGerald M. MassonPublished in: SAFECOMP (2003)
Keyphrases
- test cases
- software tools
- program understanding
- static analysis
- program slicing
- software development
- source code
- programming environments
- control flow
- search based software testing
- computer hardware
- program comprehension
- java programs
- software architecture
- computer systems
- programming environment
- software testing
- access control