Exportar Publicação

A publicação pode ser exportada nos seguintes formatos: referência da APA (American Psychological Association), referência do IEEE (Institute of Electrical and Electronics Engineers), BibTeX e RIS.

Exportar Referência (APA) 
Caniço, A. B. & Santos, A. L. (2024). A domain-specific language for dynamic white-box evaluation of Java assignments. In Santos A.L., Pinto-Albuquerque M. (Ed.), 5th International Computer Programming Education Conference (ICPEC 2024), Conference Proceedings. Lisboa: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
Exportar Referência (IEEE) 
A. M. Caniço and A. L. Santos,  "A domain-specific language for dynamic white-box evaluation of Java assignments", in 5th Int. Computer Programming Education Conf. (ICPEC 2024), Conf. Proc., Santos A.L., Pinto-Albuquerque M., Ed., Lisboa, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2024, vol. 122
Exportar BibTeX 
@inproceedings{caniço2024_1782657637168,
	author = "Caniço, A. B. and Santos, A. L.",
	title = "A domain-specific language for dynamic white-box evaluation of Java assignments",
	booktitle = "5th International Computer Programming Education Conference (ICPEC 2024), Conference Proceedings",
	year = "2024",
	editor = "Santos A.L., Pinto-Albuquerque M.",
	volume = "122",
	number = "",
	series = "",
	doi = "10.4230/OASIcs.ICPEC.2024.2",
	publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
	address = "Lisboa",
	organization = "",
	url = "https://www.icpeconf.org"
}
Exportar RIS 
TY  - CPAPER
TI  - A domain-specific language for dynamic white-box evaluation of Java assignments
T2  - 5th International Computer Programming Education Conference (ICPEC 2024), Conference Proceedings
VL  - 122
AU  - Caniço, A. B.
AU  - Santos, A. L.
PY  - 2024
SN  - 2190-6807
DO  - 10.4230/OASIcs.ICPEC.2024.2
CY  - Lisboa
UR  - https://www.icpeconf.org
AB  - Programming exercises involving algorithms typically involve time and spatial constraints. Automated assessments for such implementations are often carried out in a black-box manner or through static analysis of the code, without considering the internal execution properties, which could lead to falsely positive evaluations of students' solutions. We present Witter, a domain-specific language for defining white-box test cases for the Java language. We evaluated programming assignment submissions from a Data Structures and Algorithms course against Witter’s test cases to determine if our approach could offer additional insight regarding incomplete algorithmic behaviour requirements. We found that a significant amount of student solutions fail to meet the desired algorithmic behavior (approx. 21%), despite passing black-box tests. Hence, we conclude that white-box tests are useful to achieve a thorough automated evaluation of this kind of exercises.
ER  -