Title
A Python Library for Trace Analysis
Author
Dams, D.
Havelund, K.
Kauffman, S.
Contributor
Stolz, T. (editor)
Dang, V. (editor)
Publication year
2022
Abstract
We present a Python library for trace analysis named PyContract. PyContract is a shallow internal DSL, in contrast to many trace analysis tools that implement external or deep internal DSLs. The library has been used in a project for analysis of logs from NASA’s Europa Clipper mission. We describe our design choices, explain the API via examples, and present an experiment comparing PyContract against other state-of-the-art tools from the research and industrial communities.
Subject
High level languages
Industrial research
NASA
Analysis tools
Industrial communities
Research communities
State of the art
Trace analysis
To reference this document use:
http://resolver.tudelft.nl/uuid:0e5ca7fa-cae6-4106-9612-5e5bc48bbf6b
DOI
https://doi.org/10.1007/978-3-031-17196-3_15
TNO identifier
977836
Publisher
Springer Science and Business Media Deutschland GmbH
ISBN
9783031171956
ISSN
0302-9743
Source
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 22nd International Conference on Runtime Verification, RV 2022, 28 September 2022 through 30 September 2022, 264-273
Document type
conference paper