Generic program monitoring by trace analysis

DOI10.1017/S1471068402001461MaRDI QIDQ4452609zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

automated debuggingtest coverageMercury program

Mathematics Subject Classification ID

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

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

Cited in

(6)

• Model checking merged program traces
• Program specialization for execution monitoring
• Parametric Trace Slicing and Monitoring
• Tracing compilation by abstract interpretation
• scientific article; zbMATH DE number 4219133 (Why is no real title available?)
• Sound concurrent traces for online monitoring

Describes a project that uses

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)