NIST logo

Publications Portal

You searched on:
Topic Area: Software
Sorted by: date

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


51. IPOG/IPOG-D: Efficient Test Generation for Multi-way Combinatorial Testing
Topic: Software
Published: 11/29/2007
Authors: Yu Lei, Raghu N Kacker, David R Kuhn, Vadim Okun, James F Lawrence
Abstract: We present two strategies for multi-way testing (i.e., t-way testing with t > 2). The first strategy generalizes an existing strategy, called In-Parameter-Order, from pairwise testing to multi-way testing. This strategy requires all t-way combination ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50964

52. A Combinatorial Testing Strategy for Concurrent Programs
Topic: Software
Published: 6/7/2007
Authors: Yu Lei, Richard Carver, Raghu N Kacker, David Kung
Abstract: One approach to testing concurrent programs is called reachability testing, which derives test sequences automatically and on-the-fly, without constructing a static model. Existing reachability testing algorithms are exhaustive in that they are inten ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50892

53. IPOG: A General Strategy for t-Way Software Testing
Topic: Software
Published: 3/29/2007
Authors: Yu Lei, Raghu N Kacker, David R Kuhn, Vadim Okun, James F Lawrence
Abstract: Most existing work on t-way testing has focused on 2-way (or pairwise) testing, which aims to detect faults caused by interactions between any two parameters. However, faults can also be caused by interactions involving more than two parameters. In t ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50944

54. Comparison of ISO-GUM, draft GUM Supplement 1, and Bayesian statistics using simple linear calibration
Topic: Software
Published: 1/1/2006
Authors: Raghu N Kacker, Blaza Toman, Ding Huang
Abstract: We compare three approaches for quantifying uncertainty using a measurement equation: the International Organization for Standardization (ISO) Guide to the Expression of Uncertainty in Measurement (GUM), draft GUM Supplement 1, and Bayesian statistic ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150381

55. Hamiltonian Paths Through Two- and Three-Dimensional Grids
Series: Journal of Research (NIST JRES)
Report Number: of
Topic: Software
Published: 4/1/2005
Author: William F Mitchell
Abstract: This paper addresses the existence of Hamiltonian paths and cycles in two-dimensional grids consisting of triangles or quadrilaterals, and three-dimensional grids consisting of tetrahedra or hexahedra. The paths and cycles may be constrained to pass ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50021

56. Algorithm 838: Airy Functions
Topic: Software
Published: 12/1/2004
Author: Bruce R Fabijonas
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150042

57. Computation of Complex Airy Functions and Zeros using Asymptotics and Differential Equation
Topic: Software
Published: 12/1/2004
Authors: Bruce R Fabijonas, Daniel W Lozier, Frank William John Olver
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150041

58. Constructing Sequence Alignments from a Markov Decision Model with Estimated Parameter Values
Topic: Software
Published: 1/1/2004
Authors: Fern Y Hunt, Anthony J Kearsley, Agnes (Abbie) O'Gallagher
Abstract: Current methods for aligning biological sequences are based on dynamic programming algorithms. If large numbers of sequences or a number of long ones are to be aligned the required computations are expensive in memory and CPU time. In an attempt to b ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=51306

59. Constructing Sequence Alignments from a Markov Decision Model with Estimated Parameter Values
Topic: Software
Published: 1/1/2004
Authors: Fern Y Hunt, Anthony J Kearsley, Agnes (Abbie) O'Gallagher
Abstract: Current methods for aligning biological sequences are based on dynamic programming algorithms. If large numbers of sequences or a number of long ones are to be aligned the required computations are expensive in memory and CPU time. In an attempt to b ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=51308

60. An Optimization Approach to Multiple Sequence Alignment
Topic: Software
Published: 7/1/2003
Authors: Fern Y Hunt, Anthony J Kearsley, H H Wan
Abstract: The problem of multiple sequence alignment is recast as an optimization problem using Markov decision theory. One seeks to minimize the expected or average cost of alignment subject to data-derived constraints. In this setting the problem is equiva ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150843



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