13 citations · 21 across the 3 of their papers we have counts for
3 papers
Monitoring Student Activity in Collaborative Software Development
Daniel Dietsch, Andreas Podelski, Jaechang Nam +2
This paper presents data analysis from a course on Software Engineering in an effort to identify metrics and techniques that would allow instructor to act proactively and identify…
Towards Bounded Infeasible Code Detection
Jürgen Christ, Jochen Hoenicke, Martin Schäf
A first step towards more reliable software is to execute each statement and each control-flow path in a method once. In this paper, we present a formal method to automatically com…
Grey-box GUI Testing: Efficient Generation of Event Sequences
Stephan Arlt, Ishan Banerjee, Cristiano Bertolini +2
Graphical user interfaces (GUIs), due to their event driven nature, present a potentially unbounded space of all possible ways to interact with software. During testing it becomes…