285 search results - page 12 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
169
click to vote
ACMSE
2004
ACM
15 years 11 months ago
2004
ACM
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...
209
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
161
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test gen...
180
click to vote
VLDB
2001
ACM
15 years 10 months ago
2001
ACM
In this paper we propose a new framework for dynamic distributed query processing based on so-called HyperQueries which are essentially query evaluation sub-plans “sitting behin...
166
click to vote
EDO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we describe a new approach for increasing the reliability of ubiquitous software systems. This is achieved by executing tests at run-time. The individual software co...