4079 search results - page 168 / 816 » Differential Testing for Software |
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
This paper suggests a new measure of symmetry for bifurcating structures, which relies not only on topology and ordering, but also on quantitative properties (e.g. length of branc...
JSC
2006
13 years 9 months ago
2006
In this paper, we analyze the complexity of a zero test for expressions built from formal power series solutions of first order differential equations with non degenerate initial ...
PROCEDIA
2010
13 years 3 months ago
2010
We construct a new mimetic tensor artificial viscosity on general polyhedral meshes. The tensor viscosity is designed as a discretization of the differential operator div (u) with...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...