ConData: a tool for automating specification-based test case generation for communication systems | IEEE Conference Publication | IEEE Xplore