AbstractOpium, Morphine and Coca are three automated trace analyzers based on the same principles for three different programming languages. An automated trace analyzer is connected to an event-oriented tracer. The traced program is run in coprocessing with the trace analysis session in which the user enters high-level queries about the traced execution. The trace is then automatically processed according to the query. The key of efficiency is that most of the work is done (1) on the fly and (2) in the traced process. In this article, we first present these mechanisms and then illustrate them through a debugging session and monitoring examples with Morphine
Understanding the behavioural aspects of software systems can help in a variety of software engineer...
Program execution monitoring consists of checking whole executions for given properties in order to ...
AbstractTracing by automatic program source instrumentation has major advantages over compiled code ...
AbstractOpium, Morphine and Coca are three automated trace analyzers based on the same principles fo...
AbstractTraces of program executions are a helpful source of information for program debugging. They...
Traces of program executions are a helpful source of information for automated debugging. They, howe...
Understanding how a program execution proceeds often helps debug the program. An execution can be se...
We present Coca, an automated debugger for C, where the breakpoint mechanism is based on events rela...
Determination of a particular drug in pharmaceutical preparations and biological fluids is criticall...
This document gathers the user manual and the reference manual of Opium-M, an analyser of execution ...
[EN] Tracing is one of the most important techniques for program understanding and debugging. A trac...
A sensitive Gas chromatography- mass spectrometry (GC) method was developed and validated for determ...
Animal studies remain an essential part of drug discovery since in vitro models are not capable of d...
Understanding a large execution trace is not easy task due to the size and complexity of typical tra...
Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a se...
Understanding the behavioural aspects of software systems can help in a variety of software engineer...
Program execution monitoring consists of checking whole executions for given properties in order to ...
AbstractTracing by automatic program source instrumentation has major advantages over compiled code ...
AbstractOpium, Morphine and Coca are three automated trace analyzers based on the same principles fo...
AbstractTraces of program executions are a helpful source of information for program debugging. They...
Traces of program executions are a helpful source of information for automated debugging. They, howe...
Understanding how a program execution proceeds often helps debug the program. An execution can be se...
We present Coca, an automated debugger for C, where the breakpoint mechanism is based on events rela...
Determination of a particular drug in pharmaceutical preparations and biological fluids is criticall...
This document gathers the user manual and the reference manual of Opium-M, an analyser of execution ...
[EN] Tracing is one of the most important techniques for program understanding and debugging. A trac...
A sensitive Gas chromatography- mass spectrometry (GC) method was developed and validated for determ...
Animal studies remain an essential part of drug discovery since in vitro models are not capable of d...
Understanding a large execution trace is not easy task due to the size and complexity of typical tra...
Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a se...
Understanding the behavioural aspects of software systems can help in a variety of software engineer...
Program execution monitoring consists of checking whole executions for given properties in order to ...
AbstractTracing by automatic program source instrumentation has major advantages over compiled code ...