CISPA
Browse

File(s) not publicly available

Semantic Debugging

conference contribution
posted on 2023-11-29, 18:24 authored by Martin EberleinMartin Eberlein, Marius SmytzekMarius Smytzek, Dominic SteinhöfelDominic Steinhöfel, Lars Grunske, Andreas ZellerAndreas Zeller
Why does my program fail? We present a novel and general technique to automatically determine failure causes and conditions, using logical properties over input elements: "The program fails if and only if int(⟨length⟩) > len(⟨payload⟩) holds - that is, the given ⟨length⟩ is larger than the ⟨payload⟩ length." Our AVICENNA prototype uses modern techniques for inferring properties of passing and failing inputs and validating and refining hypotheses by having a constraint solver generate supporting test cases to obtain such diagnoses. As a result, AVICENNA produces crisp and expressive diagnoses even for complex failure conditions, considerably improving over the state of the art with diagnoses close to those of human experts.

History

Preferred Citation

Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske and Andreas Zeller. Semantic Debugging. In: European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). 2023.

Primary Research Area

  • Empirical and Behavioral Security

Name of Conference

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Legacy Posted Date

2023-07-19

Open Access Type

  • Unknown

BibTeX

@inproceedings{cispa_all_3988, title = "Semantic Debugging", author = "Eberlein, Martin and Smytzek, Marius and Steinhöfel, Dominic and Grunske, Lars and Zeller, Andreas", booktitle="{European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)}", year="2023", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC