Skip to main content

3 Result(s)

within Conference Paper Remove this filter Stephan Arlt Remove this filter Computer Communication Networks Remove this filter Programming Languages, Compilers, Interpreters Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    A Theory for Control-Flow Graph Exploration

    Detection of infeasible code has recently been identified as a scalable and automated technique to locate likely defects in software programs. Given the (acyclic) control-flow graph of a procedure, infeasible ...

    Stephan Arlt, Philipp Rümmer, Martin Schäf in Automated Technology for Verification and … (2013)

  2. No Access

    Chapter and Conference Paper

    Reconstructing Paths for Reachable Code

    Infeasible code has proved to be an interesting target for static analysis. It allows modular and scalable analysis, and at the same time, can be implemented with a close-to-zero rate of false warnings. The ch...

    Stephan Arlt, Zhiming Liu, Martin Schäf in Formal Methods and Software Engineering (2013)

  3. Chapter and Conference Paper

    Parameterized GUI Tests

    GUI testing is a form of system testing where test cases are based on user interactions. A user interaction may be encoded by a sequence of events (e.g., mouse clicks) together with input data (e.g., string va...

    Stephan Arlt, Pedro Borromeo, Martin Schäf… in Testing Software and Systems (2012)

    Download PDF (424 KB)