Oracle-based checking of untrusted software.
George C. NeculaShree Prakash RahulPublished in: POPL (2001)
Keyphrases
- software systems
- software tools
- third party
- software development
- microsoft windows
- software maintenance
- embedded systems
- software architecture
- operating system
- user interface
- neural network
- databases
- privacy preserving
- oracle database
- software projects
- personal computer
- software developers
- data sets
- software design
- software platform
- real time