10707 search results - page 524 / 2142 » Designing executable abstractions |
190
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We study methods that allow web sites to safely combine JavaScript from untrusted sources. If implemented properly, filters can prevent dangerous code from loading into t...
163
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...
203
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
174
click to vote
ADBIS
2009
Springer
16 years 1 months ago
2009
Springer
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...
174
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...