3547 search results - page 198 / 710 » Pseudo-Exhaustive Testing for Software |
181
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
214
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
The goal of a load test is to uncover functional and performance problems of a system under load. Performance problems refer to the situations where a system suffers from unexpect...
172
click to vote
ISSRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Developing peer-to-peer (P2P) systems is hard because they must be deployed on a high number of nodes, which can be autonomous, refusing to answer to some requests or even unexpec...
173
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Traditional mutation testing considers only first order mutants, created by the injection of a single fault. Often these first order mutants denote trivial faults that are easil...
193
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The design and maintenance of large computational science systems can be aided greatly by the use of generic computational science libraries. The objectoriented design of software...