5159 search results - page 120 / 1032 » Structural Testing of Executables |
128
click to vote
IIE
2007
15 years 6 months ago
2007
Abstract. A reversible sequence of steps from the specification of the algorithm and the mathematical definition of the recurrent solution through the recursive procedure, the ta...
216
click to vote
FECS
2009
15 years 4 months ago
2009
Traditional instruction in the first data structures course treats object-oriented inheritance and polymorphism as isolated topics if at all. Course organization is an exploration...
169
click to vote
PLDI
1993
ACM
15 years 10 months ago
1993
ACM
This paper shows how to software pipeline a loop for minimal register pressure withoutsacrificing the loop’s minimum execution time. This novel bidirectional slack-scheduling m...
160
click to vote
SNPD
2008
15 years 7 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
148
click to vote
TAICPART
2006
IEEE
16 years 9 days ago
2006
IEEE
This paper presents data from a study of the current state of practice of software testing. Test managers from twelve different software organizations were interviewed. The interv...