5159 search results - page 101 / 1032 » Structural Testing of Executables |
125
Voted
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
100
Voted
EDOC
2007
IEEE
15 years 9 months ago
2007
IEEE
—Traditional Workflow Management Systems (WFMSs) are not flexible enough to support loosely-structured processes. Furthermore, flexibility in contemporary WFMSs usually comes ...
130
Voted
DSD
2010
IEEE
15 years 2 months ago
2010
IEEE
—Periodic on-chip scan-based tests have to be applied to a many-core processor SoC to improve its dependability. An infrastructural IP module has been designed and incorporated i...
92
Voted
ICSM
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a technique that leverages an existing regression test-selection algorithm to compute accurate, updated coverage data on a version of the software, Pi+1, witho...
121
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...