Techniques to tackle state explosion in global predicate detection.

Techniques to tackle state explosion in global predicate detection.

Global predicate detection, which is an important problem in testing and debugging distributed programs, is very hard due to the combinatorial explosion of the global state space. The paper presents several techniques to tackle the state explosion problem in detecting whether an arbitrary predicate...

Cur síos iomlán

Sonraí bibleagrafaíochta
Foilsithe in:IEEE Transactions on software engineering 27, 8 (2001).
Príomhchruthaitheoir: Alagar, S.
Formáid: Alt
Teanga:English
Ábhair:
Arbitrary predicate.
Combinatorial explosion.
Consistent global state.
Debugging.
Distributed program testing.
Distributed system.
Execution step.
Global predicate detection.
Global state space.
Space efficient online algorithms.
State explosion.