926 search results - page 142 / 186 » Tool Support for Statistical Testing of Software Components |
AADEBUG
2005
Springer
14 years 1 months ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
WSC
1998
13 years 9 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
The server side of business software systems is commonly implemented today by an ensemble of Java classes distributed over several hosts. In this scenario, it is often necessary, ...
BMCBI
2010
13 years 8 months ago
2010
Background: Microarray technology allows the simultaneous analysis of thousands of genes within a single experiment. Significance analyses of transcriptomic data ignore the gene d...