An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates

@article{Chen2002AnED,
  title={An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates},
  author={Loon-Been Chen and I-Chen Wu},
  journal={IEEE Trans. Software Eng.},
  year={2002},
  volume={28},
  pages={1077-1084}
}
Detecting strong conjunctive predicates is a fundamental problem in debugging and testing distributed programs. A strong conjunctive predicate is a logical statement to represent the desired event of the system. Therefore, if the predicate is not true, an error may occur because the desired event does not happen. Recently, several reported detection algorithms reveal the problem of unbounded state queue growth since the system may generate a huge amount of execution states in a very short time… CONTINUE READING
2 Citations
10 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…