74 search results - page 10 / 15 » Using Metamorphic Testing to Improve Dynamic Symbolic Execut... |
113
click to vote
MICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
154
Voted
KBSE
2010
IEEE
15 years 9 days ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...
108
Voted
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in t...
131
Voted
VLSID
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper introduces a dynamic layout optimization strategy to minimize the number of cycles spent in memory accesses in a cache-based memory environment. In this approach, a giv...
149
click to vote
JOT
2007
15 years 1 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...