Skip to main content

4 Result(s)

within Conference Paper Remove this filter Stephan Arlt Remove this filter Logics and Meanings of Programs Remove this filter Programming Languages, Compilers, Interpreters Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    The Gradual Verifier

    Static verification traditionally produces yes/no answers. It either provides a proof that a piece of code meets a property, or a counterexample showing that the property can be violated. Hence, the progress o...

    Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf… in NASA Formal Methods (2014)

  2. No Access

    Chapter and Conference Paper

    Verification of GUI Applications: A Black-Box Approach

    In this paper, we propose to base the verification of a GUI application on a reference model used in black-box testing. The reference model is a formal model for the behavior of the GUI application. It is derived...

    Stephan Arlt, Evren Ermis, Sergio Feo-Arenis… in Leveraging Applications of Formal Methods,… (2014)

  3. 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)

  4. 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)