981 search results - page 119 / 197 » Semantics-aware trace analysis |
140
click to vote
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
109
click to vote
HYBRID
2005
Springer
15 years 8 months ago
2005
Springer
Under standard Lipschitz conditions, trajectories of systems described by ordinary differential equations are well defined in both forward and reverse time. (The flow map is inv...
108
click to vote
FATES
2004
Springer
15 years 8 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
126
Voted
CAISE
2003
Springer
15 years 8 months ago
2003
Springer
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...
175
click to vote
SCAM
2002
IEEE
15 years 8 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...