the goto page for communication protocol engineering and protocol testing resources.
tools traffic generators design and verification robustness test suites theory books proceedings papers people.places centers researchers conferences/workshops university Courses vendors vendor list test suites
University of Maryland: Topics on Communication Protocols (CMSC818M)
University of Waterloo, CA: Computer Aided Verification (CS 745 / ECE 725)
Carnegie Mellon University: Bug Catching: Automated Program Verification and Testing (15-398)
Worcester Polytechnic Institute: Introduction to Computer-Aided Verification (CS 525V)
