4079 search results - page 262 / 816 » Differential Testing for Software |
136
click to vote
PAMI
2010
15 years 2 months ago
2010
—Inspired by Weber’s Law, this paper proposes a simple, yet very powerful and robust local descriptor, called the Weber Local Descriptor (WLD). It is based on the fact that hum...
144
click to vote
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
Test factoring creates fast, focused unit tests from slow systemwide tests; each new unit test exercises only a subset of the functionality exercised by the system tests. Augmenti...
144
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
118
click to vote
IOLTS
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper describes a specific method for designing selfchecking checkers for m-out-of-n codes. The method is oriented to the Field Programmable Gate Arrays technology and is base...
124
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...