252 search results - page 1 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
FORTE
2009
13 years 2 months ago
2009
TAP
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
FMCO
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
FM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...