18 search results - page 1 / 4 » Compositional Symbolic Execution Using Fine-Grained Summarie... |
ICCS
2009
Springer
13 years 11 months ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
FASE
2012
Springer
12 years 14 days ago
2012
Springer
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
RTS
2008
13 years 4 months ago
2008
We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions a...
ICCAD
2003
IEEE
14 years 1 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...