Sciweavers

23 search results - page 3 / 5
» A Taxonomy of Distributed Debuggers Based on Execution Repla...
Sort
View
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 1 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
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...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
SIGSOFT
2007
ACM
16 years 14 days ago
Efficient checkpointing of java software using context-sensitive capture and replay
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
Guoqing Xu, Atanas Rountev, Yan Tang, Feng Qin
OTM
2007
Springer
15 years 5 months ago
An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems
After over thirty years of distributed computing, debugging distributed applications is still regarded as a difficult task. While it could be argued that this condition stems from ...
Giuliano Mega, Fabio Kon
DBPL
1991
Springer
92views Database» more  DBPL 1991»
15 years 3 months ago
A Remote Execution Mechanism For Distributed Homogeneous Stable Stores
Persistent languages and systems provide the ability to create and manipulate all data in a uniform manner regardless of how long it persists. Such systems are usually implemented...
Alan Dearle, John Rosenberg, Francis Vaughan
ECLIPSE
2004
ACM
15 years 5 months ago
Debugging distributed object applications with the Eclipse platform
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...
Giuliano Mega, Fabio Kon