doi.org/10.1007/s10009-018-0490-9

Preview meta tags from the doi.org website.

Linked Hostnames

26

Thumbnail

Search Engine Appearance

Google

https://doi.org/10.1007/s10009-018-0490-9

The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more - International Journal on Software Tools for Technology Transfer

The Symbolic Execution Debugger (SED), is an extension of the debug platform for interactive debuggers based on symbolic execution. The SED comes with a st



Bing

The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more - International Journal on Software Tools for Technology Transfer

https://doi.org/10.1007/s10009-018-0490-9

The Symbolic Execution Debugger (SED), is an extension of the debug platform for interactive debuggers based on symbolic execution. The SED comes with a st



DuckDuckGo

https://doi.org/10.1007/s10009-018-0490-9

The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more - International Journal on Software Tools for Technology Transfer

The Symbolic Execution Debugger (SED), is an extension of the debug platform for interactive debuggers based on symbolic execution. The SED comes with a st

  • General Meta Tags

    142
    • title
      The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more | International Journal on Software Tools for Technology Transfer
    • charset
      UTF-8
    • X-UA-Compatible
      IE=edge
    • applicable-device
      pc,mobile
    • viewport
      width=device-width, initial-scale=1

  • Open Graph Meta Tags

    6
    • og:url
      https://link.springer.com/article/10.1007/s10009-018-0490-9
    • og:type
      article
    • og:site_name
      SpringerLink
    • og:title
      The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more - International Journal on Software Tools for Technology Transfer
    • og:description
      The Symbolic Execution Debugger (SED), is an extension of the debug platform for interactive debuggers based on symbolic execution. The SED comes with a static symbolic execution engine for sequential programs, but any third-party symbolic execution engine can be integrated into the SED. An interactive debugger based on symbolic execution allows one like a traditional debugger to locate defects in the source code. The difference is that all feasible execution paths are explored at once, and thus there is no need to know input values resulting in an execution that exhibits the failure. In addition, such a debugger can be used in code reviews and to guide and present results of an analysis based on symbolic execution such as, in our case, correctness proofs. Experimental evaluations proved that the SED increases the effectiveness of code reviews and proof understanding tasks.

  • Twitter Meta Tags

    6
    • twitter:site
      @SpringerLink
    • twitter:card
      summary_large_image
    • twitter:image:alt
      Content cover image
    • twitter:title
      The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more
    • twitter:description
      International Journal on Software Tools for Technology Transfer - The Symbolic Execution Debugger (SED), is an extension of the debug platform for interactive debuggers based on symbolic execution....

  • Item Prop Meta Tags

    3
    • position
      1
    • position
      2
    • position
      3

  • Link Tags

    9
    • apple-touch-icon
      /oscar-static/img/favicons/darwin/apple-touch-icon-6ef0829b9c.png
    • canonical
      https://link.springer.com/article/10.1007/s10009-018-0490-9
    • icon
      /oscar-static/img/favicons/darwin/android-chrome-192x192.png
    • icon
      /oscar-static/img/favicons/darwin/favicon-32x32.png
    • icon
      /oscar-static/img/favicons/darwin/favicon-16x16.png

Emails

1

Links

111