2774 search results - page 142 / 555 » Query-Driven Program Testing |
107
click to vote
CVPR
1997
IEEE
15 years 6 months ago
1997
IEEE
Two of the most critical requirementsin support of producing reliableface-recognition systems are a large database of facial images and a testing procedure to evaluate systems. Th...
158
click to vote
TACAS
2012
Springer
13 years 9 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
124
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...
105
click to vote
TOG
2008
15 years 2 months ago
2008
We present BSGP, a new programming language for general purpose computation on the GPU. A BSGP program looks much the same as a sequential C program. Programmers only need to supp...
117
click to vote
ECLIPSE
2006
ACM
15 years 8 months ago
2006
ACM
Programming exercises are an important part of an introductory course in programming. To improve the focus on encapsulation, requirements-based testing and give better feedback gi...