Kissich, M., Weinbauer, K., & Baunach, M. (2023). ATTEST: Automated and Thorough Testing of Embedded Software in Teaching [Conference paper]. https://doi.org/10.1145/3593663.3593678