Specifying Executable or Nonexecutable Acceptance Test Cases for Event Processing Applications | IEEE Conference Publication | IEEE Xplore