Parallel bug-finding in concurrent programs via reduced interleaving instances | IEEE Conference Publication | IEEE Xplore