4079 search results - page 552 / 816 » Differential Testing for Software |
185
click to vote
SPDP
1991
IEEE
15 years 10 months ago
1991
IEEE
Improvements in the processing speed of multiprocessors are outpacing improvements in the speed of disk hardware. Parallel disk I/O subsystems have been proposed as one way to clo...
157
click to vote
WSC
2008
15 years 9 months ago
2008
This paper suggests a generic simulation platform that can be used for real-time discrete event simulation modeling. The architecture of the proposed system is based on a tested f...
179
click to vote
FSKD
2007
Springer
15 years 8 months ago
2007
Springer
A new type of database anomaly is described by addressing the concept of Cumulated Anomaly in this paper. Dubiety-Determining Model (DDM), which is a detection model basing on sta...
153
click to vote
FORTE
2007
15 years 8 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
130
Voted
ICONIP
2008
15 years 8 months ago
2008
One of the simplest creative act is the invention of a new word that captures some characteristics of objects or processes, for example industrial or software products, activity of...