NIST logo

Publications Portal

You searched on:
Author: paul black

Displaying records 41 to 50 of 53 records.
Resort by: Date / Title


41. QCSim, Quantum Computation Simulator
Published: 12/1/2003
Author: Paul E Black
Abstract: The goal of this document is to help W3C editors write better specifications, by making a specification easier to interpret without ambiguity and clearer as to what is required in order to conform. It focuses on how to define and specify conformance ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50557

42. Testing with Model Checkers: Insuring Fault Visibility
Published: 10/1/2002
Authors: Vadim Okun, Paul E Black, Y Yesha
Abstract: To detect a fault in software, a test case execution must be chosen so intermediate errors propagate to the output. We describe two modeling methods for specification-based mutation testing using model checkers that guarantee this propagation. We ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50790

43. Quantum Computing and Communication
Published: 6/28/2002
Authors: Paul E Black, David R Kuhn, Carl J Williams
Abstract: A quantum computer, if built, will be to an ordinary computer as a hydrogen bomb is to gunpowder, at least for some types of computations. Today no quantum computer exists, beyond laboratory prototypes capable of solving only tiny problems, and many ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=51022

44. Model Checkers in Software Testing
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 6777
Published: 2/1/2002
Authors: Paul E Black, P E Ammann, W Ding
Abstract: The primary focus of formal methods is static analysis of specifications and code, but there is also a long tradition of exploiting formal methods for testing. This paper continues this model by exploring the role of model checkers in software testi ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=51075

45. A Specification-Based Coverage Metric to Evaluate Test Sets
Published: 12/1/2000
Authors: P E Ammann, Paul E Black
Abstract: Software developers use a variety of methods, including both formal methods and testing, to argue that their systems are suitable components for high assurance applications. In this paper, we develop another connection between formal methods and tes ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151676

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

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

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

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

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



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