D
David Lee
Researcher at Bell Labs
Publications - 35
Citations - 2392
David Lee is an academic researcher from Bell Labs. The author has contributed to research in topics: Finite-state machine & Formal specification. The author has an hindex of 16, co-authored 35 publications receiving 2334 citations.
Papers
More filters
Book ChapterDOI
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool
TL;DR: Probabilistic algorithms for testing IP routing protocols are presented and the routing table correctness, database information consistency with network topology and packet forwarding behaviors, and an analysis of test execution time and fault coverage are provided.
Book ChapterDOI
Validation-based test sequence generation for networks of extended finite state machines
TL;DR: A novel partial validation technique is devised that attempts to generate a subset of the state space of a network of VFSMs and derives test sequences that maximize the code coverage and minimize the number of tests.
Proceedings ArticleDOI
Performance and correctness of the ATM ABR rate control scheme
TL;DR: A formal extended finite state machine (EFSM) model is used to show that the ABR source/destination protocol is free of live-locks, so that under all conditions both resource management (RM) and data cells will be transmitted.
Journal ArticleDOI
A polynomial algorithm for gateway generation from formal specifications
TL;DR: A systematic procedure that takes exponential time to synthesize protocol converters from formal specifications is presented, and the polynomial procedure is applied to computation of a converter for interconnecting the SNR and TCP protocols.