3547 search results - page 450 / 710 » Pseudo-Exhaustive Testing for Software |
181
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses thro...
166
click to vote
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
213
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
The idea of ubiquitous computing and smart environments is no longer a dream and has long become a serious area of research and soon this technology will start entering our every d...
163
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
It is essential to manage versions of software products created during software development. There are various versioning tools actually used in these days, although most of them ...
147
click to vote
CGO
2006
IEEE
15 years 10 months ago
2006
IEEE
In this work, we present several compiler optimizations to reduce the overhead due to software protection. We first propose an aggressive rematerialization algorithm which attempt...