Automatic detection of concurrency bugs through event ordering constraints | IEEE Conference Publication | IEEE Xplore