Incremental Integration Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Model checking safety properties in modular high-level nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Error-preserving local transformations on communication protocols
Software Testing, Verification & Reliability
| Hi-index | 0.00 |