372 search results - page 4 / 75 » On Codings of Traces |
STACS
1995
Springer
13 years 11 months ago
1995
Springer
TSP
2008
13 years 7 months ago
2008
SIGSOFT
2010
ACM
13 years 2 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
14 years 16 days 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
14 years 27 days 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...