Paul E. Black, Published Papers

Software Assurance Metrics and Tool Evaluation (SAMATE)

• Proc. Static Analysis Summit II, 2008
• Cyber Security Metrics and Measures, to be published
• Software Assurance with SAMATE Reference Dataset, Tool Standards, and Studies, 2007
• Effect of Static Analysis Tools on Software Security: Preliminary Investigation, 2007
• SAMATE and Evaluating Static Analysis Tools, 2007
• Software Assurance During Maintenance, 2006
• SAMATE's Contribution to Information Assurance, 2006
• Proc. Workshop on Software Security Assurance Tools, Techniques, and Metrics (SSATTM), 2005
• Proc. Defining the State of the Art in Software Security Tools (softSecToolsSOA) Workshop, 2005
• Software Assurance Metrics And Tool Evaluation, 2005

Formal Test Generation

• Comparison of Fault Classes in Specification-Based Testing, 2004
• Issues in Software Testing with Model Checkers, 2003
• Testing with Model Checker: Insuring Fault Visibility, 2003
• Model Checkers in Software Testing, 2002
• Winnowing Tests: Getting Quality Coverage from a Model Checker without Quantity, 2001
• Translating HOL to Specifications for the Model Checker SMV, 2001
• Formal Specification of Operating System Operations, 2001
• A Specification-Based Coverage Metric to Evaluate Test Sets, 2001
• Automated Testing Requirements-Automotive Perspective, 2001
• Modeling and Marshaling: Making Tests from Model Checker Counterexamples, 2000
• Mutation of Model Checker Specifications for Test Generation and Evaluation, 2000
• Mutation Operators for Specifications, 2000
• Test Generation and Recognition with Formal Methods, 2000
• Abstracting Formal Specifications to Generate Software Tests via Model Checking, 1999
• Using Model Checking to Generate Tests from Specifications, 1998

Program Verification

• Is "Implementation Implies Specification" Enough?, 1999
• Some Theorem Proving Aids, 1998
• Formal Verification of a Merge-Sort Program with Static Semantics, 1998
• Axiomatic Semantics Verification of a Secure Web Server, 1998
• Formal Verification of Secure Programs in the Presence of Side Effects, 1998
• Verifying Resilient Software, 1997
• Inference Rules for Programming Languages with Side Effects in Expressions, 1996
• Automatically Synthesized Term Denotation Predicates: A Proof Aid, 1995

Other

• FS-TST 2.0: Forensic Software Testing Support Tools - Parts A, B, and C, 2006
• Testing BIOS Interrupt 0x13 Based Software Write Blockers, 2005
• Software Write Block - Testing Support Tools Validation, 2005
• Modeling Quantum Information Systems, 2004
• Quantum Computing and Communications, 2002
• Software Testing: Protocol Comparison, 1998
• Proc. LAL SuperScalar Waffle Feed, 1998
• Hypothetical Intelligent Plants, or, What Kind of Terminal Could a Tulip Use?, 1997
• A Brief Introduction to Formal Methods, 1996
• Queuing Analysis of Oblivious Packet-Routing Networks, 1994
• Gdist: A Distributed Configuration Control System, 1988
• A Two-Level Interactive Approach to Silicon Compilation, 1986

Updated Tue Apr 1 12:06:23 2008

This page's URL is /~black/Papers/