A Framework for Comprehensive Automated Evaluation of Concurrent Online Checkers.

Pietro Saltarelli, Behrad Niazmand, Jaan Raik, Ranganathan Hariharan, Gert Jervan, Thomas Hollstein

Browse the full DSD paper archive.