NIST logo

Publications Portal

You searched on:
Topic Area: Software Testing Metrics
Sorted by: title

Displaying records 101 to 110 of 114 records.
Resort by: Date / Title


101. Testing Web Applications by Modeling with FSMs
Topic: Software Testing Metrics
Published: 8/1/2005
Authors: A Andrews, A. J Offutt, R Alexander
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=150355

102. Testing with Model Checker: Insuring Fault Visibility
Topic: Software Testing Metrics
Published: 1/5/2003
Authors: Vadim Okun, Paul E Black, Yelena 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 e ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=917181

103. Testing with Model Checkers: Insuring Fault Visibility
Topic: Software Testing Metrics
Published: 10/23/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 e ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50790

104. The Juliet 1.1 C/C++ and Java Test Suite
Topic: Software Testing Metrics
Published: 10/1/2012
Authors: Frederick E Boland Jr, Paul E Black
Abstract: The Juliet Test Suite 1.1 is a collection of over 81,000 synthetic C/C++ and Java programs with known flaws. These programs are useful as test cases for testing the effectiveness of static analyzers and other software assurance tools, and are in the ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=912128

105. The NIST 2008 Metrics for Machine Translation Challenge - Overview, Methodology, Metrics, and Results
Topic: Software Testing Metrics
Published: 3/10/2010
Authors: Mark Allan Przybocki, Kay Peterson, P. Sebastien Bronsart, Gregory A Sanders
Abstract: This paper discusses the evaluation of automated metrics developed for the purpose of evaluating machine translation (MT) technology. A general discussion of the usefulness of automated metrics is offered. The NIST MetricsMATR evaluation of MT metr ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=903840

106. The ghost in the machine: Don't let it haunt your software performance measurements
Series: Technical Note (NIST TN)
Report Number: 1830
Topic: Software Testing Metrics
Published: 4/28/2014
Authors: Vreda Pieterse, David W Flater
Abstract: This paper describes pitfalls, issues, and methodology for measuring software performance. Ideally, measurement should be performed and reported in such a way that others will be able to reproduce the results in order to confirm their validity. W ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=914911

107. Unravel: A CASE Tool to Assist Evaluation of High Integrity Software Volume 1: Requirements and Design
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 5691
Topic: Software Testing Metrics
Published: 8/1/1995
Authors: James R Lyle, D Wallace, J R Graham, K Gallagher, Joseph P. Poole, D W Binkley
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=900761

108. User's Guide for RDA/SQL Validation Tests
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 5725
Topic: Software Testing Metrics
Published: 12/1/1996
Authors: J M Sullivan, Kevin G Brady
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=900769

109. User's Guide for the PHIGS Validation Tests (Version 2.1)
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 434
Topic: Software Testing Metrics
Published: 4/1/1994
Authors: Kevin G Brady, John V Cugini, Qiming Wang
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=900712

110. Users Manual for Version 2.2.1 of the NIST DMIS Test Suite
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7735
Topic: Software Testing Metrics
Published: 10/25/2010
Authors: Thomas Rollin Kramer, John A Horst
Abstract: This manual is a users manual for the NIST DMIS Test Suite, version 2.2.1. DMIS (Dimensional Measuring Interface Standard) is a language for writing programs for coordinate measuring machines and other dimensional measurement equipment. The manual d ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=905756



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