Automatic Parameter Tuning System under Multi-Threading Nondeterminism | IEEE Conference Publication | IEEE Xplore