Trace analysis of protocols based on formal concurrent specifications
To increase the probability of computers communicating reliably with one another, protocol implementations must be tested for conformance to the standards on which they are based. Test case generation and trace analysis are two important topics in protocol testing research. Most of the work so far h...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
2008
|
| Online Access: | http://hdl.handle.net/2429/1866 |