@inbook{14260,
  keywords = {Software Engineering, dtrace, ltl, runtime verification},
  author = {Carl Rosenberg and Martin Steffen and Volker Stolz},
  title = {Leveraging DTrace for Runtime Verification},
  abstract = {DTrace, short for \“dynamic tracing\”, is a powerful diagnostic tool and tracing framework. It is invaluable for performance monitoring, tuning, and for getting insights into almost any aspect of a running system. In this paper we investigate how we can leverage the DTrace operating system-level instrumentation framework to conduct runtime verification. To this end, we develop graphviz2dtrace, a tool for producing monitor scripts in DTrace\’s domain-specific scripting language D for specification formulas written in  LTL3, a three-valued variety of the well-known Linear Temporal Logic. We evaluate the tool by analyzing a small stack-implementation and a multi-process system.},
  year = {2016},
  journal = {Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23{\textendash}30, 2016, Proceedings},
  pages = {318{\textendash}332},
  publisher = {Springer International Publishing},
  address = {Cham},
  isbn = {978-3-319-46982-9},
  url = {http://dx.doi.org/10.1007/978-3-319-46982-9_20},
  doi = {10.1007/978-3-319-46982-9_20},
  editor = {Yli{\`e}s Falcone and C{\'e}sar S{\'a}nchez},
}