4079 search results - page 418 / 816 » Differential Testing for Software |
158
click to vote
SNPD
2008
15 years 7 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
145
click to vote
ICAD
2004
15 years 7 months ago
2004
We describe a software system which enables computergenerated soundscapes to be synthesised, spatialised and edited using a gestural interface. Iterative design and testing of the...
208
click to vote
QNS
1996
15 years 7 months ago
1996
In this paper we look at the developmentof ScaLAPACK, a software library for dense and banded numerical linear algebra, and the NAG Numerical PVM Library, which includes software ...
173
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
In prior work we have developed an escape analysis to help developers identify sources of object churn (i.e., excessive use of temporaries) in large framework-based applications. ...
167
click to vote
IOLTS
2003
IEEE
15 years 11 months ago
2003
IEEE
We discuss the design of a novel analog checker that monitors two duplicate signals and provides a digital error indication when their absolute difference is unacceptably large. Th...