A Framework for Comprehensive Automated Evaluation of Concurrent Online Checkers | IEEE Conference Publication | IEEE Xplore