Documents Department of CIS University of Pennsylvania 1/31/2001 Specification-based Protocol Testing Hyoung.....

Slide 1 Department of CIS University of Pennsylvania 1/31/2001 Specification-based Protocol Testing Hyoung Seok Hong Oleg Sokolsky CSE 642 Slide 2 Department of CIS University…