13 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.PL2012★ 3 cited
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…
cs.SE2012★ 13 cited
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…