Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution.
Boutheina BannourArnault LapitrePascale Le GallPublished in: MEDI Workshops (2021)
Keyphrases
- distributed systems
- symbolic execution
- static analysis
- test data generation
- fault tolerant
- test generation
- distributed environment
- load balancing
- fault tolerance
- specification language
- distributed computing
- source code
- geographically distributed
- real time systems
- petri net
- mobile agents
- data replication
- distributed database systems
- software architecture
- pattern matching
- deadlock detection
- test cases
- search space