- Testing BIOS Interrupt 0x13 Based Software Write Blockers James R. Lyle and Paul E. Black
- Using Model Checking to Generate Tests from Specifications
- Abstracting Formal Speci cations to Generate Software Tests via Model Checking
- Axiomatic Semantics Verification of a Secure Web Server A Dissertation
- Special Publication 500-279 Static Analysis Tool Exposition (SATE) 2008
- Voeller hhs440.tex V1 -07/22/2008 5:26pm Page 1 CYBER SECURITY METRICS AND
- Software Assurance During Maintenance Paul E. Black
- NIST Special Publication 500-265 Proceedings of Workshop on
- NIST Special Publication 500-264 Proceedings of Defining the State of the
- Issues in Software Testing with Model Checkers Vadim Okun Paul E. Black
- Testing with Model Checker: Insuring Fault Visibility VADIM OKUN PAUL E. BLACK
- Mutation Operators for Specifications Paul E. Black
- Page i of 193 NISTIR 7297-B
- Page i of 48 NISTIR 7207-B
- Software Testing: Protocol Comparison James Yen, David Banks, P. Black, L. J. Gallagher, C. R. Hagwood, R. N. Kacker, and L.
- Software Assurance Metrics And Tool Las Vegas, Nevada, USA, June 27-30, 2005
- NISTIR 7207-A Software Write Block
- Formal Specification of Operating System Operations Florida Atlantic University
- Proceedings of LALSSWF '98 Paul E. Black
- Is \Implementation Implies Speci cation" Enough? Paul E. Black
- Quantum Computing and Communication 1 Paul E. Black, D. Richard Kuhn, Carl J. Williams
- Effect of Static Analysis Tools on Software Security: Preliminary Investigation
- Testing with Model Checker: Insuring Fault Vadim Okun Paul E. Black
- Formal Verification of a MergeSort Program with Static Semantics
- Mutation of Model Checker Specifications for Test Generation and Evaluation Paul E. Black
- Hypothetical Intelligent Plants, or, What Kind of Terminal Could a Tulip
- Modeling quantum information systems Paul E. Black a and Andrew W. Lane b
- Using Model Checking to Generate Tests from Specifications
- Proceedings of Static Analysis Summit II Paul E. Black (workshop chair)
- Modeling quantum information systems Paul E. Blacka and Andrew W. Laneb
- Model Checkers in Software Testing Paul Ammann
- Queueing Analysis of Oblivious PacketRouting Networks Mor HarcholBalter \Lambda Paul E. Black #
- Quantum Computing and Communication1 Paul E. Black, D. Richard Kuhn, Carl J. Williams
- SOFTWARE ASSURANCE WITH SAMATE REFERENCE DATASET, TOOL STANDARDS, AND STUDIES
- Comparison of Fault Classes in Specification-Based Testing
- Formal Specification of Operating System Operations
- Automatically Synthesized Term Denotation Predicates: A Proof Aid
- Verifying Resilient Software P. E. Black \Lambda P. J. Windley
- Page i of 116 NISTIR 7297-A
- Some Theorem Proving Aids Paul E. Black 1? and Phillip J. Windley 2
- Issues in Software Testing with Model Checkers Vadim Okun Paul E. Black
- Mutation Operators for Specifications Paul E. Black
- Formal Specification of Operating System Operations Florida Atlantic University
- Mutation of Model Checker Specifications for Test Generation and Evaluation Paul E. Black Vadim Okun Yaacov Yesha
- Hypothetical Intelligent Plants, or, What Kind of Terminal Could a Tulip
- Is "Implementation Implies Specification" Enough? Paul E. Black
- Test Generation and Recognition with Formal Methods Paul E. Ammann Paul E. Black
- Proceedings of LALSSWF '98 Paul E. Black
- Software Assurance Metrics And Tool Evaluation
- Testing with Model Checker: Insuring Fault Visibility VADIM OKUN PAUL E. BLACK YAACOV YESHA
- Queueing Analysis of Oblivious PacketRouting Networks Mor HarcholBalter \Lambda Paul E. Black y
- Formal Verification of Secure Programs in the Presence of Side Effects
- Comparison of Fault Classes in SpecificationBased Testing
- Testing with Model Checker: Insuring Fault Visibility VADIM OKUN PAUL E. BLACK
- Test Generation and Recognition with Formal Methods Paul E. Ammann Paul E. Black
- International Journal of Reliability, Quality and Safety Engineering c World Scienti c Publishing Company
- Translating HOL to Speci cations for the Model Checker SMV
- 4 IAnewsletter Vol 9 No 2 Fall 2006 http://iac.dtic.mil/iatac SAMATE's Contribution to
- Some Theorem Proving Aids Paul E. Black1? and Phillip J. Windley2
- Formal Verification of Secure Programs in the Presence of Side Effects
- Formal Specification of Operating System Operations Dan Zhou Paul E. Black
- Formal Specification of Operating System Operations
- Abstracting Formal Specifications to Generate Software Tests via Model Checking
- InternationalfJournalcofWReliability,oQualityrandlSafetydEngineeringScientific * *Publishing Company
- Volume 28, Number 3, September 2007 Ada User Journal SAMATE and Evaluating Static Analysis Tools
- Astatic analyzer is a program written to analyze other programs for
- NISTIR 7297-C FS-TST 2.0: Forensic Software
- Inference Rules for Programming Languages with Side Effects in Expressions
- A Brief Introduction to Formal Methods \Lambda Paul E. Black Kelly M. Hall Michael D. Jones Trent N. Larson Phillip J. Windley
- Mutation of Model Checker Specifications for Test Generation and Evaluation Paul E. Black
- Model Checkers in Software Testing Paul Ammann Paul E. Black
- Inference Rules for Programming Languages with Side Effects in Expressions
- Verifying Resilient Software P. E. Black* P. J. Windley
- Comparison of Fault Classes in Specification-Based Testing
- Software Assurance During Maintenance Paul E. Black
- Mutation Operators for Specifications Paul E. Black Vadim Okun Yaacov Yesha
- Formal Verification of a Merge-Sort Program with Static Semantics
- Using Model Checking to Generate Tests from Specifications
- Testing with Model Checker: Insuring Fault Visibility
- Axiomatic Semantics Verification of a Secure Web Server A Dissertation
- Modeling quantum information systems Paul E. Blacka and Andrew W. Laneb
