6800 search results - page 169 / 1360 » Testing with Functions as Specifications |
ECOOP
2006
Springer
14 years 1 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...
PRIMA
2009
Springer
14 years 3 months ago
2009
Springer
Human performance can seriously degrade under demanding tasks. To improve performance, agents can reason about the current state of the human, and give the most appropriate and eff...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
Object tracking algorithms extensively found in literature are either constrained with assumptions or are overly sensitive to noise. We propose and successfully test two new weigh...
WCE
2007
13 years 10 months ago
2007
—A new method for minimization problem over simplex, as a generalization of a well-known in onedimensional optimization bisection method is proposed. The convergence of the metho...