8347 search results - page 1496 / 1670 » Performance testing of software systems |
172
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
431
click to vote
ICSE
2012
IEEE-ACM
13 years 8 months ago
2012
IEEE-ACM
—For a large and evolving software system, the project team could receive a large number of bug reports. Locating the source code files that need to be changed in order to fix th...
173
click to vote
CIVR
2009
Springer
16 years 1 months ago
2009
Springer
Uploading tourist photographs is a popular activity on photo sharing platforms. The manual annotation of these images is a tedious process and the users often upload their images ...
168
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
Mobile devices are becoming more and more difficult to use due to the sheer number of functions now supported. In this paper, we propose a menu customization system that ranks fun...
176
click to vote
SIGCOMM
2005
ACM
16 years 1 days ago
2005
ACM
Measurement and estimation of packet loss characteristics are challenging due to the relatively rare occurrence and typically short duration of packet loss episodes. While active ...