NIST logo

Publications Portal

You searched on:
Author: paul black

Displaying records 51 to 53.
Resort by: Date / Title


51. 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. ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151738

52. 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 ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151734

53. 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 ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151614



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