4079 search results - page 619 / 816 » Differential Testing for Software |
133
click to vote
LSSC
2001
Springer
15 years 8 months ago
2001
Springer
In the last years the interest in computer simulations of radioactive waste scenarios has increased. In this article we present numerical simulations with the software package TRAP...
131
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
The widespread presence of errors in spreadsheets is now well-established. Quite a few methodological and software approaches have been suggested as ways to reduce spreadsheet err...
120
click to vote
SIGUCCS
2000
ACM
15 years 8 months ago
2000
ACM
In order to keep on the leading edge of technology and to take advantage of new administrative features, we at University of Wyoming decided to upgrade our Windows NT 4.0 lab syst...
134
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
157
click to vote
AIMDM
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes an approach to the detection of events in complex, multi-channel, high frequency data. The example used is that of detecting the re-siting of a transcutaneous ...