Login / Signup
A Framework for Comprehensive Automated Evaluation of Concurrent Online Checkers.
Pietro Saltarelli
Behrad Niazmand
Jaan Raik
Ranganathan Hariharan
Gert Jervan
Thomas Hollstein
Published in:
DSD (2015)
Keyphrases
</>
main contribution
evaluation methods
database
fully automated
databases
website
digital libraries
lightweight
petri net
semi automatic
bayesian framework
evaluation method
evaluation model
semi automated
evaluation framework