Towards a Generic Non-intrusive Fault Detection Framework

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    Abstract

    Temporal dependencies between programming library API operations form a protocol that can be used to automatically detect incorrect use of abstractions provided by the API. Traditionally, aliasing of abstraction instances is one of the main problems of detecting this kind of protocol violations. In this paper we describe our runtime fault detection approach that uses dynamic data-flow tracking to cope with the aliasing problem. In addition, we present a proof-of-concept fault detection framework for integrating our approach to a development environment.
    Original languageEnglish
    Title of host publicationRuntime Verification
    Subtitle of host publicationRV 2013
    EditorsA. Legay, S. Bensalem
    Place of PublicationBerlin, Germany
    PublisherSpringer
    Pages334-339
    ISBN (Electronic)978-3-642-40787-1
    ISBN (Print)978-3-642-40786-4
    DOIs
    Publication statusPublished - 2013
    MoE publication typeNot Eligible
    Event4th International Conference on Runtime Verification, RV 2013 - Rennes, France
    Duration: 24 Sep 201327 Sep 2013

    Publication series

    SeriesLecture Notes in Computer Science
    Volume8174
    ISSN0302-9743

    Conference

    Conference4th International Conference on Runtime Verification, RV 2013
    Abbreviated titleRV 2013
    CountryFrance
    CityRennes
    Period24/09/1327/09/13

      Fingerprint

    Keywords

    • Fault detection
    • runtime verification
    • framework
    • testing

    Cite this

    Julku, J., & Rautila, M. (2013). Towards a Generic Non-intrusive Fault Detection Framework. In A. Legay, & S. Bensalem (Eds.), Runtime Verification : RV 2013 (pp. 334-339). Springer. Lecture Notes in Computer Science, Vol.. 8174 https://doi.org/10.1007/978-3-642-40787-1_21