13 citations · 16 across the 3 of their papers we have counts for
3 papers · 1 filter
SnapCheck: Automated Testing for Snap Programs
Wengran Wang, Chenhao Zhang, Andreas Stahlbauer +2
Programming environments such as Snap, Scratch, and Processing engage learners by allowing them to create programming artifacts such as apps and games, with visual and interactive…
Finding Anomalies in Scratch Assignments
Nina Körber, Katharina Geldreich, Andreas Stahlbauer +1
In programming education, teachers need to monitor and assess the progress of their students by investigating the code they write. Code quality of programs written in traditional p…
Reusing Precisions for Efficient Regression Verification
Dirk Beyer, Stefan Löwe, Evgeny Novikov +2
Continuous testing during development is a well-established technique for software-quality assurance. Continuous model checking from revision to revision is not yet established as…