Keyphrases
- distributed systems
- static analysis
- symbolic execution
- dynamic analysis
- test generation
- test suite
- source code
- distributed environment
- malicious code
- fault tolerant
- fault tolerance
- load balancing
- test case generation
- test cases
- operating system
- regular expressions
- java card
- mobile agents
- data replication
- concurrent systems
- distributed computing
- software architecture
- abstract interpretation
- geographically distributed
- security policies
- software development environments
- web services
- reverse engineering
- model checking