Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Test sequence generation from formal specifications of distributed programs | 9 | 0.78 | 1995 |
| Static analysis of concurrent software for deriving synchronization constraints | 7 | 0.76 | 1991 |
| Replay and testing for concurrent programs | 89 | 10.56 | 1991 |
| Deterministic execution debugging of concurrent Ada programs | 16 | 2.82 | 1989 |