Interactive Runtime Verification — A Ph.D to Improve Bug Detection and Understanding

Jakse, Raphael

In: 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017-10-01

Online unknown

Zugriff:

Bugs cannot always be avoided and can have various consequences on the reliability of softwares. Techniques for finding and undestanding bugs are therefore needed for developers to be able to fix them. Existing techniques for finding and getting insight on bugs have limitations. Static analysis cannot detect every bugs, Interactive Debugging can be tedious, Runtime Verification usually does not have built-in mechanism to study bugs that are detected. This paper presents ongoing work as part of a Ph.D to fight against these limitations. More precisely, we introduce Interactive Runtime Verification, an approach that combines Interactive Debugging and Runtime Verification, and work needed around this approach.

Titel:	Interactive Runtime Verification — A Ph.D to Improve Bug Detection and Understanding
Autor/in / Beteiligte Person:	Jakse, Raphael
Link:	View record in OpenAIRE (Volltext) https://doi.org/10.1109/issrew.2017.44
Zeitschrift:	2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017-10-01
Veröffentlichung:	IEEE, 2017
Medientyp:	unknown
DOI:	10.1109/issrew.2017.44
Schlagwort:	Computer science business.industry Distributed computing Reliability (computer networking) media_common.quotation_subject Runtime verification 020207 software engineering Context (language use) Interactive debugging 0102 computer and information sciences 02 engineering and technology Static analysis 01 natural sciences Software bug Debugging 010201 computation theory & mathematics 0202 electrical engineering, electronic engineering, information engineering Software engineering business media_common
Sonstiges:	Nachgewiesen in: OpenAIRE

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.