dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems

@inproceedings{Simsa2011dBugST,
  title={dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems},
  author={Jir{\'i} Simsa and Randy Bryant and Garth A. Gibson},
  booktitle={SPIN},
  year={2011}
}
In order to improve quality of an implementation of a distributed and multithreaded system, software engineers inspect code and run tests. However, the concurrent nature of such systems makes these tasks challenging. For testing, this problem is addressed by stress testing, which repeatedly executes a test hoping that eventually all possible outcomes of the test will be encountered. 

Citations

Publications citing this paper.
SHOWING 1-10 OF 13 CITATIONS

Practically Making Threads Deterministic and Stable

  • 2013
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

References

Publications referenced by this paper.