Software fault interactions and implications for software testing
Kuhn, D.R., Wallace, D.R., Gallo, A.M.
Published in IEEE transactions on software engineering (01.06.2004)
Published in IEEE transactions on software engineering (01.06.2004)
Get full text
Journal Article
Study of BGP Peering Session Attacks and Their Impacts on Routing Performance
Sriram, K., Montgomery, D., Borchert, O., Okhee Kim, Kuhn, D.R.
Published in IEEE journal on selected areas in communications (01.10.2006)
Published in IEEE journal on selected areas in communications (01.10.2006)
Get full text
Journal Article
IPOG: A General Strategy for T-Way Software Testing
Yu Lei, Kacker, R., Kuhn, D.R., Okun, V., Lawrence, J.
Published in 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) (01.03.2007)
Published in 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) (01.03.2007)
Get full text
Conference Proceeding
Evolving directions in formal methods
Kuhn, D.R.
Published in Proceedings of COMPASS '97: 12th Annual Conference on Computer Assurance (1997)
Published in Proceedings of COMPASS '97: 12th Annual Conference on Computer Assurance (1997)
Get full text
Conference Proceeding
Property Verification for Generic Access Control Models
Hu, V.C., Kuhn, D.R., Tao Xie
Published in 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (01.12.2008)
Published in 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (01.12.2008)
Get full text
Conference Proceeding
Lessons from 342 medical device failures
Wallace, D.R., Kuhn, D.R.
Published in Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering (1999)
Published in Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering (1999)
Get full text
Conference Proceeding
An analysis of selected software safety standards
Wallace, D.R., Kuhn, D.R., Ippolito, L.M.
Published in COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance (1992)
Published in COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance (1992)
Get full text
Conference Proceeding
An analysis of selected software safety standards
Wallace, D.R., Kuhn, D.R., Ippolito, L.M.
Published in IEEE aerospace and electronic systems magazine (01.08.1992)
Published in IEEE aerospace and electronic systems magazine (01.08.1992)
Get full text
Magazine Article