Testing Java monitors through deterministic execution | IEEE Conference Publication | IEEE Xplore