Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented modeling and design
Object-oriented modeling and design
Network flows: theory, algorithms, and applications
Network flows: theory, algorithms, and applications
Real-time object-oriented modeling
Real-time object-oriented modeling
Tutorial on message sequence charts
Computer Networks and ISDN Systems - Special issue on SDL and MSC
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Model checking of hierarchical state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
A new multilayered PCP and the hardness of hypergraph vertex cover
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
Optimization problems from feature testing of communication protocols
ICNP '96 Proceedings of the 1996 International Conference on Network Protocols (ICNP '96)
| Hi-index | 0.00 |
We investigate the testing of hierarchical (modular) systems, in which individual modules are modeled by finite state machines. Given a hierarchical system, we are interested in finding a small set of tests that exercises all the transitions of the system. We present tight approximation algorithms and hardness results for the problem. Our techniques extend to other criteria and metrics.