Executable Test Specifications Show No Negative Effect on Finding and Correcting Test Faults in Event Processing Application Development | IEEE Conference Publication | IEEE Xplore