A Python Library for Trace Analysis

conference paper
2022
Dams, D.

Havelund, K.

Kauffman, S.
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.
Topics
High level languagesIndustrial researchNASAAnalysis toolsIndustrial communitiesResearch communitiesState of the artTrace analysis
TNO Identifier
977836
Repository link
https://resolver.tno.nl/uuid:0e5ca7fa-cae6-4106-9612-5e5bc48bbf6b
ISSN
03029743
ISBN
9783031171956
Publisher
Springer Science and Business Media Deutschland GmbH
Source title
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
Editor(s)
Stolz, T.
Dang, V.
Pages
264-273
Files
To receive the publication files, please send an e-mail request to TNO Repository.