BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Greece
1 × Japan
2 × Canada
3 × USA
Collaborated with:
M.Yannakakis G.Shu K.Li D.Chen C.Besse A.R.Cavalli R.E.Miller R.Hao Z.Liu N.Li L.Sang S.Elrod R.Bruce R.Gold D.Goldberg F.G.Halasz W.C.J.Jr. K.McCall E.R.Pedersen K.A.Pier J.C.Tang B.B.Welch
Talks about:
test (7) protocol (3) network (3) system (3) algorithm (2) transit (2) state (2) secur (2) minim (2) finit (2)

Person: David Lee

DBLP DBLP: Lee:David

Contributed to:

TestCom/FATES 20082008
TestCom 20062006
TestCom 20052005
ASE 19991999
CSL 19981998
CAV 19931993
CHI 19921992
STOC 19921992
STOC 19911991

Wrote 10 papers:

TestCom-FATES-2008-ShuCLLSL #framework #named #network #paradigm #security #testing
VCSTC: Virtual Cyber Security Testing Capability — An Application Oriented Paradigm for Network Infrastructure Protection (GS, DC, ZL, NL, LS, DL), pp. 119–134.
TestCom-2006-ShuL #monitoring #protocol #security #testing
Message Confidentiality Testing of Security Protocols — Passive Monitoring and Active Checking (GS, DL), pp. 357–372.
TestCom-2005-LiL05a #algorithm #detection #fault #network #probability #testing
Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms (KL, DL), pp. 258–274.
TestCom-2005-MillerCLH #network #nondeterminism #protocol #testing
Coping with Nondeterminism in Network Protocol Testing (REM, DC, DL, RH), pp. 129–145.
ASE-1999-BesseCL #automation #generative #protocol #testing
An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol (CB, ARC, DL), pp. 73–80.
CSL-1998-YannakakisL #finite #testing
Testing for Finite State Systems (MY, DL), pp. 29–44.
CAV-1993-YannakakisL #algorithm #performance #realtime
An Efficient Algorithm for Minimizing Real-time Transition Systems (MY, DL), pp. 210–224.
CHI-1992-ElrodBGGHJLMPPTW #collaboration #interactive #named #scalability
Liveboard: A Large Interactive Display Supporting Group Meetings, Presentations, and Remote Collaboration (SE, RB, RG, DG, FGH, WCJJ, DL, KM, ERP, KAP, JCT, BBW), pp. 599–607.
STOC-1992-LeeY #online
Online Minimization of Transition Systems (DL, MY), pp. 264–274.
STOC-1991-YannakakisL #finite #state machine #testing
Testing Finite State Machines (MY, DL), pp. 476–485.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.