Correction to "Technology for testing nondeterministic client/server database applications" | IEEE Journals & Magazine | IEEE Xplore