Search Results - "Stahlbauer, Andreas"

BDD-based software verification: Applications to event-condition-action systems by Beyer, Dirk, Stahlbauer, Andreas

“…In software model checking, most successful symbolic approaches use predicates as representation of the state space, and SMT solvers for computations on the…”
Get full text

Verified from Scratch: Program Analysis for Learners' Programs by Stahlbauer, Andreas, Fradrich, Christoph, Fraser, Gordon

“…Block-based programming languages like Scratch support learners by providing high-level constructs that hide details and by preventing syntactically incorrect…”
Get full text

Finding anomalies in scratch assignments by Körber, Nina, Geldreich, Katharina, Stahlbauer, Andreas, Fraser, Gordon

“…In programming education, teachers need to monitor and assess the progress of their students by investigating the code they write. Code quality of programs…”
Get full text

Abstract Transducers by Stahlbauer, Andreas

“…Several abstract machines that operate on symbolic input alphabets have been proposed in the last decade, for example, symbolic automata or lattice automata…”
Get full text

Android Fuzzing: Balancing User-Inputs and Intents by Auer, Michael, Stahlbauer, Andreas, Fraser, Gordon

“…Android apps can be effectively tested by randomly generating inputs and triggering corresponding events. Most test generators focus on user-triggered events,…”
Get full text

Cost of Flaky Tests in Continuous Integration: An Industrial Case Study by Leinen, Fabian, Elsner, Daniel, Pretschner, Alexander, Stahlbauer, Andreas, Sailer, Michael, Jurgens, Elmar

“…Researchers and practitioners alike increasingly often perceive flaky tests as a major challenge in software engineering. They spend a lot of effort trying to…”
Get full text

SnapCheck: Automated Testing for Snap Programs by Wang, Wengran, Zhang, Chenhao, Stahlbauer, Andreas, Fraser, Gordon, Price, Thomas

“…Programming environments such as Snap, Scratch, and Processing engage learners by allowing them to create programming artifacts such as apps and games, with…”
Get full text

Finding Anomalies in Scratch Assignments by Körber, Nina, Geldreich, Katharina, Stahlbauer, Andreas, Fraser, Gordon

“…In programming education, teachers need to monitor and assess the progress of their students by investigating the code they write. Code quality of programs…”
Get full text

Reusing Precisions for Efficient Regression Verification by Beyer, Dirk, Löwe, Stefan, Novikov, Evgeny, Stahlbauer, Andreas, Wendler, Philipp

“…Continuous testing during development is a well-established technique for software-quality assurance. Continuous model checking from revision to revision is…”
Get full text