Research topic
This topic covers techniques that reduce or reorganize execution-trace detail while preserving information needed for analysis. The records include state histories, semantic events, graph representations, knowledge-graph views, and query-oriented abstractions for navigating or reasoning about large traces.
Related search terms: execution trace abstraction · trace summarization · semantic trace representation
9 papers in this topic, ordered newest first. The detailed paper records contain the evidence-grounded methods, tools, datasets, findings, and citation guidance.
2021 · 2021 IEEE International Symposium on Networks, Computers and Communications (ISNCC)
The paper provides a graphical state-machine modeling tool that generates trace analyses and integrates them into Trace Compass, reducing the need to hand-code state providers or XML analyses.
Keywords: state-machine traces · trace indexing · special-purpose database · Gantt chart · XY view
2020 · Softwaretechnik-Trends
The paper adapts community detection and PageRank from social-network analysis to reduce and prioritize system execution traces.
Keywords: LTTng · Trace Compass · Louvain community detection · PageRank · thread interaction graph
2017 · Software Quality Journal
The framework lets analysts define stateful trace analyses declaratively, using a generic state model and XML specifications that can drive storage, filtering, and visualization across trace formats.
Keywords: declarative trace analysis · stateful analysis · execution traces · LTTng · ETW
2017 · Concurrency and Computation: Practice and Experience
The survey provides a taxonomy and requirements-oriented comparison of techniques for collecting, abstracting, analyzing, visualizing, and navigating large execution traces.
Keywords: trace navigation · multi-scale analysis · trace visualization · content abstraction · metric abstraction
2015 · IEEE BigData Congress
The paper provides a declarative XML/state-machine approach for flexible filtering and synthetic-event generation over large kernel traces.
Keywords: execution trace filtering · LTTng 2.4.0 · Trace Compass · finite-state machine · declarative analysis
2014 · 2014 IEEE 27th Canadian Conference on Electrical and Computer Engineering (CCECE)
The paper presents multiscale trace navigation that links raw kernel events to system-call, synthetic, and fault/alert abstractions in a zoomable timeline.
Keywords: large trace data · multiscale navigation · zoomable timeline · semantic zoom · physical zoom
2013 · Runtime Verification 2013 (RV 2013)
The paper introduces a disk-backed state-history model that incrementally converts trace events into queryable state intervals, enabling scalable timestamp/state queries and visualization without replaying the entire trace.
Keywords: system states · trace queries · trace visualization · interval data · tree-based storage
2012 · Advances in Software Engineering
The paper introduces a stateful trace-abstraction method that converts low-level kernel events into semantic and synthetic events using modeled resource state and finite-state patterns.
Keywords: stateful trace abstraction · synthetic events · semantic events · modeled state · finite-state machine
2012 · 16th IASTED International Conference on Software Engineering and Applications (SEA 2012)
The paper introduces a stateful trace-abstraction architecture that shares modeled system state and intermediate computation across concurrent patterns to reduce the cost of analyzing large Linux kernel traces.
Keywords: multi-core tracing · LTTng · Linux kernel 2.6.38.6 · stateful trace analysis · trace abstraction