A Domain Specific Language for Uncovering Abstract Protocols and Testing Message Scenarios.

Tim Reichert Dominikus Herzberg A Domain Specific Language for Uncovering Abstract Protocols and Testing Message Scenarios. 427-430 2008 Software Engineering (Workshops) conf/se/2008w db/conf/se/se2008w.html#ReichertH08