2774 search results - page 236 / 555 » Query-Driven Program Testing |
129
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...
154
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...
129
click to vote
DSN
2009
IEEE
15 years 9 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
104
click to vote
IOLTS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper proposes a new solution for the diagnosis of faults into embedded RAMs, currently under evaluation within STMicroelectronics. The proposed scheme uses dedicated circuit...
123
click to vote
IFIP
2001
Springer
15 years 7 months ago
2001
Springer
: High defect coverage requires good coverage of different fault types. In this paper, we present a comprehensive test vector generation technique for BIST, called Random Single In...