Advertisement

Debugging and Visualization

  • Martin Hentschel
  • Reiner Hähnle
  • Richard Bubel
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10001)

Abstract

This chapter presents the usage and different use cases of the Symbolic Execution Debugger (SED), an interactive debugger based on symbolic execution. In addition, the extendable architecture of the SED and the underlying symbolic execution engine based on KeY are discussed.

Keywords

Execution Path Path Condition Proof Obligation Symbolic Execution Loop Body 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Martin Hentschel
    • 1
  • Reiner Hähnle
    • 1
  • Richard Bubel
    • 1
  1. 1.Technische Universität DarmstadtDarmstadtGermany

Personalised recommendations