Integration testing of protocol implementations using symbolic distributed execution.
Raimondas SasnauskasPhilipp KaiserRuss Lucas JukicKlaus WehrlePublished in: ICNP (2012)
Keyphrases
- integration testing
- lightweight
- black box
- distributed systems
- commit protocols
- object oriented programs
- concurrent execution
- failure recovery
- cooperative
- database transactions
- multi party
- component based software
- computational grids
- software testing
- distributed environment
- group communication
- wide area network
- concurrent processes
- information systems
- artificial intelligence
- communication protocol
- test cases
- relational databases
- information technology
- multi agent
- high level