Noninterference via Symbolic Execution.
Dimiter MilushevWim BeckDave ClarkePublished in: FMOODS/FORTE (2012)
Keyphrases
- symbolic execution
- static analysis
- test generation
- test data generation
- security policies
- source code
- specification language
- data flow
- databases
- access control
- genetic algorithm
- software testing
- formal specification
- open source
- machine vision
- test cases
- test set
- distributed systems
- general purpose
- multi objective
- artificial intelligence