Generic program monitoring by trace analysis

DOI10.1017/S1471068402001461zbMATH Open1105.68319OpenAlexW2079071212MaRDI QIDQ4452609FDOQ4452609

Authors: Erwan Jahier, Mireille Ducassé 

Publication date: 1 March 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068402001461

Recommendations

• scientific article; zbMATH DE number 4219133
• Program specialization for execution monitoring
• Semantics and algorithms for parametric monitoring
• Parametric Trace Slicing and Monitoring
• scientific article; zbMATH DE number 1962746

zbMATH Keywords

automated debuggingtest coverageMercury program

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Logic programming (68N17)

Cited In (6)

• Model checking merged program traces
• Sound concurrent traces for online monitoring
• Parametric Trace Slicing and Monitoring
• Tracing compilation by abstract interpretation
• Title not available (Why is that?)
• Program specialization for execution monitoring

Uses Software

• Mercury

This page was built for publication: Generic program monitoring by trace analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452609)