Protocol Testing Papers | Protocol Design Papers | Formal Methods Papers

Top Nine Protocol Testing Papers

"Formal Methods for Protocol Testing: A Detailed Study"

Deepinder P. Sidhu,  Ting-kau Leung, IEEE Transactions on Software Engineering, Volume 15 , Issue 4 (April 1989)

"Protocol Testing: The First Ten Years, The Next Ten Years",

Deepinder P. Sidhu, Proc. lOth Int. IFIP Syrup. Protocol Specification, Testing and Verification, Ottawa, Canada, June 1990.

"Protocol testing: review of methods and relevance for software testing "

Gregor V. Bochmann, Alexandre Petrenko, Proceedings of the 1994 international symposium on Software testing and analysis

"A survey of communication protocol testing"

R. Lai , Journal of Systems and Software, Volume 62 , Issue 1 (May 2002)  

"On the Generation of Minimal-Length Conformance Tests for Communication Protocol",

Raymond E. Miller and Sanjoy Paul,  IEEE Trans. on Networking, Vol. 1, No. 1, Feb. 1993.

"Structural Analysis of Protocol Specifications and Generation of Maximal Fault Coverage Conformance Test Sequences"

Raymond E. Miller and Sanjoy Paul,  IEEE Trans. on Networking, Vol. 2, No. 5, Oct. 1994.

K. Saleh. ACM Computer Communication Review, 26(5), 1996.

"Testing transition systems: An annotated bibliography." [ps]

E. Brinksma and J. Tretmans. In F. Cassez, C. Jard, B. Rozoy, and M. Ryan, editors, Proceedings of Summer School MOVEP'2k Modelling and Verification of Parallel Processes", pages 44-50, Nantes, July 2000.

"Principles And Methods Of Testing Finite State Machines - A Survey." [pdf]

David Lee and Mihalis Yannakakis, Proceedings of the IEEE, volume 84, number 8, pages 1090--1123,1996.

Top Five Protocol Design Papers

Mark Nottingham's list : 

A Note on Distributed Computing [pdf]
On the Design of Application Protocols [txt]
Principled Design of the Modern Web Architecture [pdf]
Clarifying the Fundamentals of HTTP [pdf]

Bill de hÓra's list:

Making Web Services that Work [pdf]
The Protocol versus Document Points of View [txt]
Web Search for a Planet [pdf]
Javaspaces Service Specification [pdf]
On Distributed Communications [pdf]

Mark Baker's List:

A Note on Distributed Computing. [pdf]
Architectural Styles and the Design of Network-based Software Architectures. [html]
Modularity and Efficiency in Protocol Implementation.[txt]
Foundations for the Study of Software Architecture.[pdf]
Extending the REpresentational State Transfer Architectural Style for Decentralized Systems [pdf]

Mail your list of top 5 protocol design papers to top5papers@protocoltesting.com

"Formal Specification and Verification of Safety and Performance of TCP Selective Acknowledgement",

 Mark A. Smith and K. K. Ramakrishnan,    IEEE Trans. on Networking, Vol. 10, No. 2, Apr. 2002.