Publications Portal

You searched on:
Topic Area: Software

Displaying records 21 to 30 of 45 records.
Resort by: Date / Title

21. Cut it out!
Topic: Software
Published: 5/1/2009
Authors: Isabel M Beichl, Francis Sullivan
Abstract: This is a tutorial article on a probabilistic method for finding minimum cut sets of a connected graph.
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=902324

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

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

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

25. IPOG: A General Strategy for t-Way Software Testing
Topic: Software
Published: 8/1/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

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

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

28. Error Estimators for the hp Version of the Finite Element Method with Newest Node Bisection of Triangles
Topic: Software
Published: 7/1/2005
Author: William F Mitchell
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150043

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

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