67 search results - page 7 / 14 » Introducing unit testing with BlueJ |
ICFEM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
FCCM
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper proposes optimizations of the methods and parameters used in both mathematical approximation and hardware design for logarithmic number system (LNS) arithmetic. First, ...
BVAI
2007
Springer
14 years 4 months ago
2007
Springer
We present a hierarchical system for object recognition that models neural mechanisms of visual processing identified in the mammalian ventral stream. The system is composed of ne...
ISSTA
2010
ACM
14 years 1 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
VLSID
2007
IEEE
14 years 10 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...