Comparative correctness testing

Micheal A. AlexisPonniah; John Jenq

Comparative correctness testing

Micheal A. AlexisPonniah, John Jenq

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

Keywords

Comparative correctness
Online homework handling

Access to Document

Link to publication in Scopus

Fingerprint Dive into the research topics of 'Comparative correctness testing'. Together they form a unique fingerprint.

Cite this

AlexisPonniah, M. A., & Jenq, J. (2007). Comparative correctness testing. In CITSA 2007 - Int. Conference on Cybernetics and Information Technologies, Systems and Applications and CCCT 2007 - Int. Conference on Computing, Communications and Control Technologies, Proceedings (pp. 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).

AlexisPonniah, Micheal A. ; Jenq, John. / Comparative correctness testing. 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. pp. 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).

@inproceedings{49572b5637194875baf71053e850d338,

title = "Comparative correctness testing",

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.",

keywords = "Comparative correctness, Online homework handling",

author = "AlexisPonniah, {Micheal A.} and John Jenq",

year = "2007",

month = dec,

day = "1",

language = "English",

isbn = "1934272078",

series = "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",

booktitle = "CITSA 2007 - Int. Conference on Cybernetics and Information Technologies, Systems and Applications and CCCT 2007 - Int. Conference on Computing, Communications and Control Technologies, Proceedings",

note = "null ; Conference date: 12-07-2007 Through 15-07-2007",

}

AlexisPonniah, MA & Jenq, J 2007, Comparative correctness testing. in CITSA 2007 - Int. Conference on Cybernetics and Information Technologies, Systems and Applications and CCCT 2007 - Int. Conference on Computing, Communications and Control Technologies, Proceedings. 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, pp. 284-289, 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, 12/07/07.

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

Y2 - 12 July 2007 through 15 July 2007

ER -

AlexisPonniah MA, Jenq J. Comparative correctness testing. In 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).