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...
| הוצא לאור ב: | IEEE Transactions on software engineering 27, 8 (2001). |
|---|---|
| מחבר ראשי: | |
| פורמט: | Article |
| שפה: | English |
| נושאים: |