Sciweavers

Share
2 search results - page 1 / 1
» On-Line Timed Protocol Trace Analysis Based on Uncertain Sta...
Sort
View
FORTE
1997
11 years 6 months ago
On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions
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...
Marek Musial
SIGSOFT
2000
ACM
11 years 9 months ago
Compiler and tool support for debugging object protocols
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
Sergey Butkevich, Marco Renedo, Gerald Baumgartner...
books