372 search results - page 4 / 75 » On Codings of Traces |
STACS
1995
Springer
15 years 3 months ago
1995
Springer
TSP
2008
14 years 11 months ago
2008
96
Voted
SIGSOFT
2010
ACM
14 years 6 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...
SIGSOFT
2004
ACM
15 years 5 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...