981 search results - page 89 / 197 » Semantics-aware trace analysis |
136
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
142
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall ...
102
click to vote
CHES
2010
Springer
15 years 4 months ago
2010
Springer
Side-channel based collision attacks are a mostly disregarded alternative to DPA for analyzing unprotected implementations. The advent of strong countermeasures, such as masking, h...
124
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Distance bounding protocols are used by nodes in wireless networks for the crucial purpose of estimating their distances to other nodes. Past efforts to analyze these protocols hav...
103
click to vote
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
A qualitative analysis of debugging strategies of novice Java programmers is presented. The study involved 21 CS2 students from seven universities in the U.S. and U.K. Subjects &q...