Take a sneak peek at the new NIST.gov and let us know what you think!
(Please note: some content may not be complete on the beta site.).

View the beta site
NIST logo

Publications Portal

You searched on: Author: paul black

Displaying records 51 to 60 of 63 records.
Resort by: Date / Title

51. Mutation Operators for Specifications
Published: 9/15/2000
Authors: Paul E Black, Vadim Okun, Yaacov Yesha
Abstract: Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge about a system, and a recent method uses such specifications to automati ...

52. Is 'Implementation Implies Specification' Enough?
Published: 6/1/2000
Author: Paul E Black
Abstract: An implementation is typically checked against a specification by proving that the implementation implies the specification. This ensures that the implementation only has behaviors allowed by the specification. However, this does not require the im ...

53. Abstracting Formal Specifications to Generate Software Tests via Model Checking
Published: 10/1/1999
Authors: P E Ammann, Paul E Black
Abstract: A recent method combines model checkers with specification-based mutation analysis to generate test cases from formal software specifications. However high-level software specifications usually must be reduced to make analysis with a model checker f ...

54. Using Model Checking to Generate Tests From Specifications
Published: 11/1/1998
Authors: P E Ammann, Paul E Black, William J Majurski
Abstract: We apply a model checker to the problem of test generation using a new application of mutation analysis. We define syntactic operators, each of which produces a slight variation on a given model. The operators define a form of mutation analysis at ...

55. Using Model Checking to Generate Tests from Specifications
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 6166
Published: 11/1/1998
Authors: P E Ammann, Paul E Black, William J Majurski

56. Dictionary of Algorithms and Data Structures
Published: 10/1/1998
Author: Paul E Black
Abstract: The National Software Reference Library (NSRL) of the U.S. National Institute of Standards and Technology (NIST) collects software from various sources and publishes file profiles computed from this software (such as MD5 and SHA-1 hashes) as a Refer ...

57. Reliability of Conformance Tests
Published: 8/21/1998
Authors: Robert Charles Hagwood, Raghu N Kacker, James H Yen, D L. Banks, Lynne S. Rosenthal, Leonard J Gallagher, Paul E Black
Abstract: A conformance test is a software assurance test that is applied in order to determine if specification requirements of the software are being met. It is a time-dependent model, where the software object is subjected to an a priori known test suite. ...

58. Software Testing: Protocol Comparison
Published: 5/29/1998
Authors: James H Yen, D L. Banks, Leonard J Gallagher, Paul E Black, Robert Charles Hagwood, Raghu N Kacker, Lynne S. Rosenthal
Abstract: Software testing is hard, expensive, and uncertain. Many protocols have been suggested, especially in the area of conformance verification. In order to compare the efficacy of these protocols, we have implemented a designed simulation experiment th ...

59. Formal Verification of Secure Programs in the Presence of Side Effects
Published: 1/1/1998
Authors: Paul E Black, P J Windley
Abstract: Much software is written in industry standard programming languages, but these these languages often have complex semantics making them hard to formalize. For example, the use of expressions with side effects is common in C programs. We present new i ...

60. An Analysis Framework and Additive Software Analysis
Published: Date unknown
Author: Paul E Black
Abstract: We present a framework for software assurance, in addition to an additive software analysis approach. Both have the potential to dramatically reduce software vulnerabilities within the next seven years. The framework (1) aggregates tool outputs, (2) ...

Search NIST-wide:

(Search abstract and keywords)

Last Name:
First Name:

Special Publications:

Looking for a NIST Special Publication (NIST SP Series)? Place the series number and dash in the report number field (Example: 800-) and begin your search.

  • SP 250-XX: Calibration Services
  • SP 260-XX: Standard Reference Materials
  • SP 300-XX: Precision Measurement and Calibration
  • SP 400-XX: Semiconductor Measurement Technology
  • SP 480-XX: Law Enforcement Technology
  • SP 500-XX: Computer Systems Technology
  • SP 700-XX: Industrial Measurement Series
  • SP 800-XX: Computer Security Series
  • SP 823-XX: Integrated Services Digital Network Series