285 search results - page 25 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
138
click to vote
ISSTA
2009
ACM
15 years 8 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...
129
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
192
click to vote
ECOOP
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. The information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this i...
127
click to vote
ICCCN
2007
IEEE
15 years 8 months ago
2007
IEEE
—Large-scale online applications such as Massively Multiplayer Online Games (MMOGs) require large amount of computing resources that support many players interacting simultaneous...
134
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
A robust dynamic evolutionary algorithm (labeled RODEA), where both the robust calculation and mutation operator are based on an orthogonal design, is proposed in this paper. Prev...