Scalable Symbolic Execution of Distributed Systems.
Raimondas SasnauskasOscar Soria DustmannBenjamin Lucien KaminskiKlaus WehrleCarsten WeiseStefan KowalewskiPublished in: ICDCS (2011)
Keyphrases
- distributed systems
- symbolic execution
- test generation
- static analysis
- test data generation
- distributed environment
- specification language
- fault tolerant
- source code
- load balancing
- distributed computing
- fault tolerance
- data flow
- geographically distributed
- data replication
- distributed database systems
- deadlock detection
- software testing
- description language
- software architecture
- mobile agents
- databases
- pattern matching
- test cases
- particle swarm optimization
- general purpose