Equivalence Checking of Test Case Behavior

@Misc{Neukirchen08+,
	author          = {Helmut Neukirchen and Philip Makedonski and Jens Grabowski and Benjamin Zei{\ss}},
	title           = {{Equivalence Checking of Test Case Behavior}},
	organization    = {TTCN-3 User Conference 2008 (T3UC)},
	address         = {Madrid, Spain},
	month           = jun,
	year            = 2008,
}