2 search results - page 1 / 1 » On-Line Timed Protocol Trace Analysis Based on Uncertain Sta... |
86
Voted
FORTE
1997
15 years 29 days ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
88
Voted
SIGSOFT
2000
ACM
15 years 4 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...