Sign in
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation.
Doron Drusinsky
Man-tak Shing
Published in:
IEEE International Workshop on Rapid System Prototyping (2007)
Keyphrases
</>
test generation
test cases
distributed systems
symbolic execution
test sequences
distributed environment
monitoring system
design automation
real time
image quality
multi party
static analysis
cooperative
multi agent
multi agent systems
software testing
knowledge base