@InProceedings{ZAWLG2022ToolSupport,
	AUTHOR = {Zöllner, Christian and Adriano, Christian M. and Wietheger, Simon and Lambers, Leen and Giese, Holger},
	TITLE = {{Tool Support for the Teaching of State-Based Behavior Modeling}},
	YEAR = {2022},
	BOOKTITLE = {MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings},
	PAGES = {87–94},
	SERIES = {MODELS '22},
	ADDRESS = {New York, NY, USA},
	PUBLISHER = {Association for Computing Machinery},
	URL = {https://doi.org/10.1145/3550356.3556501},
	DOI = {10.1145/3550356.3556501},
	ABSTRACT = {Modeling tools are commonly adopted in classrooms. However, complex state-based behavioral models still pose a challenge for students to understand and validate, mostly because of the intricate semantics of these models.We investigated this challenge and developed dedicated tool support in the form of a validation framework based on the YAKINDU Statechart Tools. Our validation framework simulates environments that interact with the code generated from statecharts as a means to animate various open-ended scenarios and predefined test cases that challenge the students’ models. This enables short and user-friendly feedback cycles, which lowers the barrier for students to learn state-based behavioral models. We designed the validation framework to be extensible and made it available as an open source project together with two example environments and complete teaching materials. We report on our experiences in two undergraduate modeling courses (approx. 100 students each). Our results are promising in the sense that we detected positive effects of tool adoption and a surprising lack thereof, which we discuss w.r.t. lessons learned and future work.}
}