148 search results - page 22 / 30 » Automated Systematic Testing of Open Distributed Programs |
121
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
136
click to vote
WCRE
2008
IEEE
15 years 8 months ago
2008
IEEE
CAPTCHAs are automated Turing tests used to determine if the end-user is human and not an automated program. Users are asked to read and answer Visual CAPTCHAs, which often appear...
148
click to vote
ICDCSW
2009
IEEE
15 years 9 months ago
2009
IEEE
Contemporary computing infrastructure, such as networking stacks, OS and middleware, are made up of layers of software functionality that have evolved over decades to support the ...
118
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
115
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...