NIST logo

Publications Portal

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

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

51. An Interaction-based Test Sequence Generation Approach for Testing Web Applications
Topic: Software
Published: 12/3/2008
Authors: Wenhua Wang, Sreedevi Sampath, Yu Lei, Raghu N Kacker
Abstract: Web applications often use dynamic pages that interact with each other by accessing shared objects, e.g., session objects. Interactions between dynamic pages need to be carefully tested, as they may give rise to subtle faults that cannot be detected ...

52. Strategies for hp-Adaptive Refinement
Topic: Software
Published: 9/16/2008
Author: William F Mitchell
Abstract: In the hp-adaptive version of the finite element method for solving partial differential equations, the grid is adaptively refined in both h, the size of the elements, and p, the degree of the piecewise polynomial approximation over the element. The ...

53. 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 ...

54. 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 ...

55. 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 ...

56. 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 ...

57. 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 ...

58. Algorithm 838: Airy Functions
Topic: Software
Published: 12/1/2004
Author: Bruce R Fabijonas

59. 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

60. 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 ...

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