Parametric Trace Slicing and Monitoring

DOI10.1007/978-3-642-00768-2_23zbMath1234.68073OpenAlexW2164119561MaRDI QIDQ3617763

Feng Chen, Grigore Roşu

Publication date: 31 March 2009

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00768-2_23

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (9)

The ins and outs of first-order runtime verification ⋮ Assumption-based runtime verification ⋮ Early detection of temporal constraint violations ⋮ Unnamed Item ⋮ Runtime enforcement of timed properties revisited ⋮ Monitoring hyperproperties ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Backward Trace Slicing for Rewriting Logic Theories ⋮ Debugging Maude programs via runtime assertion checking and trace slicing

Uses Software

• AspectJ
• DaCapo
• J-LO
• PQL

Cites Work

• Verification, Model Checking, and Abstract Interpretation
• LSCs: Breathing life into message sequence charts

This page was built for publication: Parametric Trace Slicing and Monitoring