@inproceedings{0a74404b916048308e6419e72bc105af,
title = "Towards a Generic Non-intrusive Fault Detection Framework",
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.",
keywords = "Fault detection, runtime verification, framework, testing",
author = "Jukka Julku and Mika Rautila",
note = "Project code: 41465; 4th International Conference on Runtime Verification, RV 2013, RV 2013 ; Conference date: 24-09-2013 Through 27-09-2013",
year = "2013",
doi = "10.1007/978-3-642-40787-1_21",
language = "English",
isbn = "978-3-642-40786-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "334--339",
editor = "Axel Legay and Saddek Bensalem",
booktitle = "Runtime Verification",
address = "Germany",
}