2774 search results - page 283 / 555 » Query-Driven Program Testing |
124
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
DAC
2002
ACM
16 years 3 months ago
2002
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed test of high-speed microprocessors using low-cost testers. We explore the fault diagnos...
92
Voted
ICSE
2009
IEEE-ACM
16 years 3 months ago
2009
IEEE-ACM
Software development teams exchange source code in shared repositories. These repositories are kept consistent by having developers follow a commit policy, such as "Program e...
126
Voted
SIGCSE
2009
ACM
16 years 3 months ago
2009
ACM
Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testi...
110
Voted
PDCAT
2009
Springer
15 years 9 months ago
2009
Springer
—We have proposed an auto-memoization processor. This processor automatically and dynamically memoizes both functions and loop iterations, and skips their execution by reusing th...