8347 search results - page 360 / 1670 » Performance testing of software systems |
153
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
150
click to vote
IJIT
2004
15 years 6 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
136
click to vote
ISESE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper discusses software development using the Test Driven Development (TDD) methodology in two different environments (Windows and MSN divisions) at Microsoft. In both these...
209
click to vote
ICDE
2004
IEEE
16 years 6 months ago
2004
IEEE
Phoenix/App supports software components whose states are made persistent across a system crash via redo recovery, replaying logged interactions. Our initial prototype force logge...
139
click to vote
GROUP
2009
ACM
15 years 2 months ago
2009
ACM
"Open contribution systems" (OCS) are online applications that encourage users to contribute and share content in a "public" and open manner. While these syste...