712 search results - page 16 / 143 » Software debugging, testing, and verification |
108
click to vote
CHI
2006
ACM
15 years 9 months ago
2006
ACM
Earlier research on gender effects with software features intended to help problem-solvers in end-user debugging environments has shown that females are less likely to use unfamil...
112
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
This paper introduces a new unobtrusive and cost-effective method for the capture and compression of program execution traces in real-time, which is based on a double move-to-fron...
132
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
136
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
In large software development projects, when a programmer is assigned a bug to fix, she typically spends a lot of time searching (in an ad-hoc manner) for instances from the past ...
144
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Since pre-silicon functional verification is insufficient to detect all design errors, re-spins are often needed due to malfunctions that escape into the silicon. This paper pre...