Abstract
The task of grading student programs is neither simple nor entirely mechanical; rather, it is often a tedious and laborious process that is prone to human error. A novice grading program that test the correctness of students' homework is presented. The correctness of a program in our grading environment is determined using a novel method called comparative correctness (CC). The method CC is presented and tested. The method can be used to test the correctness of methods in a program.
Original language | English |
---|---|
Title of host publication | CITSA 2007 - Int. Conference on Cybernetics and Information Technologies, Systems and Applications and CCCT 2007 - Int. Conference on Computing, Communications and Control Technologies, Proceedings |
Pages | 284-289 |
Number of pages | 6 |
State | Published - 1 Dec 2007 |
Event | 4th International Conference on Cybernetics and Information Technologies, Systems and Applications, CITSA 2007, Jointly with the 5th International Conference on Computing, Communications and Control Technologies, CCCT 2007 - Orlando, FL, United States Duration: 12 Jul 2007 → 15 Jul 2007 |
Publication series
Name | CITSA 2007 - Int. Conference on Cybernetics and Information Technologies, Systems and Applications and CCCT 2007 - Int. Conference on Computing, Communications and Control Technologies, Proceedings |
---|---|
Volume | 1 |
Other
Other | 4th International Conference on Cybernetics and Information Technologies, Systems and Applications, CITSA 2007, Jointly with the 5th International Conference on Computing, Communications and Control Technologies, CCCT 2007 |
---|---|
Country | United States |
City | Orlando, FL |
Period | 12/07/07 → 15/07/07 |
Fingerprint
Keywords
- Comparative correctness
- Online homework handling
Cite this
}
Comparative correctness testing. / AlexisPonniah, Micheal A.; Jenq, John.
CITSA 2007 - Int. Conference on Cybernetics and Information Technologies, Systems and Applications and CCCT 2007 - Int. Conference on Computing, Communications and Control Technologies, Proceedings. 2007. p. 284-289 (CITSA 2007 - Int. Conference on Cybernetics and Information Technologies, Systems and Applications and CCCT 2007 - Int. Conference on Computing, Communications and Control Technologies, Proceedings; Vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
TY - GEN
T1 - Comparative correctness testing
AU - AlexisPonniah, Micheal A.
AU - Jenq, John
PY - 2007/12/1
Y1 - 2007/12/1
N2 - The task of grading student programs is neither simple nor entirely mechanical; rather, it is often a tedious and laborious process that is prone to human error. A novice grading program that test the correctness of students' homework is presented. The correctness of a program in our grading environment is determined using a novel method called comparative correctness (CC). The method CC is presented and tested. The method can be used to test the correctness of methods in a program.
AB - The task of grading student programs is neither simple nor entirely mechanical; rather, it is often a tedious and laborious process that is prone to human error. A novice grading program that test the correctness of students' homework is presented. The correctness of a program in our grading environment is determined using a novel method called comparative correctness (CC). The method CC is presented and tested. The method can be used to test the correctness of methods in a program.
KW - Comparative correctness
KW - Online homework handling
UR - http://www.scopus.com/inward/record.url?scp=84891439622&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84891439622
SN - 1934272078
SN - 9781934272077
T3 - CITSA 2007 - Int. Conference on Cybernetics and Information Technologies, Systems and Applications and CCCT 2007 - Int. Conference on Computing, Communications and Control Technologies, Proceedings
SP - 284
EP - 289
BT - CITSA 2007 - Int. Conference on Cybernetics and Information Technologies, Systems and Applications and CCCT 2007 - Int. Conference on Computing, Communications and Control Technologies, Proceedings
ER -