8347 search results - page 244 / 1670 » Performance testing of software systems |
124
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
147
click to vote
SSIRI
2010
15 years 7 months ago
2010
—Software reliability is defined as the probability of failure-free operation for a period of time, under certain conditions. To determine whether the reliability of an applicat...
116
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
User-input validators play an essential role in guarding a web application against application-level attacks. Hence, the security of the web application can be compromised by defe...
97
Voted
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, a system for automatic albuming of consumer photographs is described, and its specific core components of event segmentation and screening of low quality images are...
120
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...