ATTEST: Automated and Thorough Testing of Embedded Software in Teaching - Kissich, Meinhard; Weinbauer, Klaus; Baunach, Marcel (2023)