arXiv 2014-04-26 EN Who watches the watchers: Validating the ProB Validation Tool Bendisposto, Jens · Krings, Sebastian · Leuschel, Michael
arXiv 2011-08-09 EN Input-output Conformance Testing for Channel-based Service Connectors Kokash, Natallia · Arbab, Farhad · Changizi, Behnaz · Makhnist, Leonid
