452 search results - page 49 / 91 » Symbolic Execution of Behavioral Requirements |
138
click to vote
VEE
2012
ACM
13 years 6 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
104
click to vote
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
KBSE
2002
IEEE
15 years 3 months ago
2002
IEEE
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...
JCSS
2008
14 years 11 months ago
2008
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. Detailed simulations can help identify...
DS
1992
15 years 4 days ago
1992
In this paper, we present methods for supporting autonomous updates in replicated databases. Autonomous updates are of particular importance to applications that cannot tolerate t...