4079 search results - page 18 / 816 » Differential Testing for Software |
ICFEM
1998
Springer
13 years 11 months ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
QOFIS
2000
Springer
13 years 11 months ago
2000
Springer
Packet scheduling and queue management strategies are key issues of DiffServ per-hop behaviours. This paper proposes a queue management system that, in conjunction with scheduling ...
ACSE
2000
ACM
13 years 12 months ago
2000
ACM
Although testing accounts for 50% of the cost of software, it receives little treatment in most curricula. This paper presents some approaches to giving all students multiple, inc...
BMCBI
2007
13 years 7 months ago
2007
Background: Many procedures for finding differentially expressed genes in microarray data are based on classical or modified t-statistics. Due to multiple testing considerations, ...
PDSE
1998
13 years 8 months ago
1998
With the advancement in network speed and computing power; distributed multimedia applications are becoming populal: However;generalprinciples of system testing cannot be directly...