Benchmark SIP

Benchmark models

Learning examples

    print · login   

Bibliography

AJU10
F. Aarts, B. Jonsson, and J. Uijen. Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction. In Proceedings ICTSS 2010, 22nd IFIP International Conference on Testing Software and Systems, Natal, Brazil, November 8-12, 2010
ns2
ns-2 - The network simulator
RFC_3261
RFC 3261 - SIP: Session Initiation Protocol