Media type: E-Article Title: Runtime Verification: Leveraging DTrace for Runtime Verification Contributor: Rosenberg, Carl Martin; Steffen, Martin; Stolz, Volker imprint: Springer International Publishing, 2016 Published in: Runtime Verification Language: Not determined DOI: 10.1007/978-3-319-46982-9_20 ISSN: 1611-3349; 0302-9743 Origination: Footnote: