1813 search results - page 144 / 363 » Measuring the Effectiveness of Software Testing |
132
click to vote
TCOM
2010
15 years 1 months ago
2010
It is shown that binary low-density generator matrix codes can achieve the rate-distortion bound of discrete memoryless sources with general distortion measure via multilevel quant...
177
click to vote
DATE
2009
IEEE
16 years 1 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...
158
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
170
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Testing and code editing are interleaved activities during program development. When tests fail unexpectedly, the changes that caused the failure(s) are not always easy to find. W...
151
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
This study examines the effect of individual differences on the program comprehension strategies of users working with an unfamiliar programming system. Participants of varying pr...