285 search results - page 44 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
APIN
2006
14 years 11 months ago
2006
AgentTeamwork is a grid-computing middleware system that dispatches a collection of mobile agents to coordinate a user job over remote computing nodes in a decentralized manner. I...
117
click to vote
CPHYSICS
2006
14 years 11 months ago
2006
A new stochastic clustering algorithm is introduced that aims to locate all the local minima of a multidimensional continuous and differentiable function inside a bounded domain. ...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
104
click to vote
LOGCOM
2010
14 years 6 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
86
Voted
EJIS
2007
14 years 11 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...