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. (2023). Witter: A library for white-box testing of introductory programming algorithms. In Feldman, M. Q., and Hilton, M. (Ed.), SPLASH-E 2023: Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E. (pp. 69-74). Cascais, Portugal: Association for Computing Machinery.
Exportar Referência (IEEE) 
A. M. Caniço and A. L. Santos,  "Witter: A library for white-box testing of introductory programming algorithms", in SPLASH-E 2023: Proc. of the 2023 ACM SIGPLAN Int. Symp. on SPLASH-E, Feldman, M. Q., and Hilton, M., Ed., Cascais, Portugal, Association for Computing Machinery, 2023, pp. 69-74
Exportar BibTeX 
@inproceedings{caniço2023_1734893781306,
	author = "Caniço, A. B. and Santos, A. L.",
	title = "Witter: A library for white-box testing of introductory programming algorithms",
	booktitle = "SPLASH-E 2023: Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E",
	year = "2023",
	editor = "Feldman, M. Q., and Hilton, M.",
	volume = "",
	number = "",
	series = "",
	doi = "10.1145/3622780.3623650",
	pages = "69-74",
	publisher = "Association for Computing Machinery",
	address = "Cascais, Portugal",
	organization = "SIGPLAN ACM Special Interest Group on Programming Languages",
	url = "https://dl.acm.org/doi/proceedings/10.1145/3622780"
}
Exportar RIS 
TY  - CPAPER
TI  - Witter: A library for white-box testing of introductory programming algorithms
T2  - SPLASH-E 2023: Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E
AU  - Caniço, A. B.
AU  - Santos, A. L.
PY  - 2023
SP  - 69-74
DO  - 10.1145/3622780.3623650
CY  - Cascais, Portugal
UR  - https://dl.acm.org/doi/proceedings/10.1145/3622780
AB  - Software testing is mostly performed in a black-box manner, that is, without incorporating any knowledge of the internal workings of programs into the tests. This practice usually suffices for enterprises and general practitioners, where the focus lies on producing reliable results while most algorithmic tasks are provided by third-party libraries. However, for computer science students and the like, it might not be straightforward to discern the underlying causes of an incorrect test result or to understand why certain algorithmic goals are not met. We present Witter, a software testing library that allows programming educators to define white-box tests for Java source code. Our tests analyze the execution of a method against a reference solution, to verify that the code not only produces correct results but is also in accordance with a desired algorithm behavior.
ER  -