2774 search results - page 328 / 555 » Query-Driven Program Testing |
88
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Researchers have proposed a number of tools for automatic bug localization. Given a program and a description of the failure, such tools pinpoint a set of statements that are most...
124
click to vote
SI3D
2005
ACM
15 years 7 months ago
2005
ACM
We present a sampling strategy and rendering framework for intersectable models, whose surface is implicitly defined by a black box intersection test that provides the location a...
90
Voted
PVM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. An MPI profiling library is a standard mechanism for intercepting MPI calls by applications. Profiling libraries are so named because they are commonly used to gather p...
131
Voted
SIGADA
2004
Springer
15 years 7 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
121
click to vote
DFT
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we present a memory fault simulator called the Random Access Memory Simulator for Error Screening (RAMSES). Although it was designed based on some wellknown memory ...