NIST logo

Publications Portal

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

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


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

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

43. Identifying Failure-Inducing Combinations in a Combinatorial Test Set
Topic: Software
Published: 4/17/2012
Author: Raghu N Kacker
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=911457

44. Isolating Failure-Inducing Combinations in Combinatorial Testing using Test Augmentation and Classification
Topic: Software
Published: 4/17/2012
Author: Raghu N Kacker
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=911450

45. Just Try
Topic: Software
Published: 11/1/2011
Author: Isabel M Beichl
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=909403

46. LDPC Error Correction in the Context of Quantum Key Distribution
Topic: Software
Published: 4/23/2012
Author: Anastase Nakassis
Abstract: Secret keys can be established through the use of Quantum channels monitored through classical channels which can be thought of as being error free. Because many of the feasible implementation of the quantum channel are subject to erasures ‹often mas ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=910418

47. MGGHAT User's Guide Version 1.1
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 5948
Topic: Software
Published: 1/1/1997
Author: William F Mitchell
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=900802

48. Modeling Microstructures with OOF2
Topic: Software
Published: 9/1/2009
Authors: Andrew C.E. Reid, Rhonald Lua, R E Garcia, Valerie R. Coffman, Stephen Langer
Abstract: OOF2 is a program for computing the properties and behavior of material microstructures, beginning with an image of the microstructural geometry. OOF2 uses finite elements, but is designed to be used by materials scientists with little or no finite e ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=51176

49. NIST Digital Library of Mathematical Functions
Topic: Software
Published: 5/1/2003
Author: Daniel W Lozier
Abstract: NIST (formerly, National Bureau of Standards) has started an ambitious project that aims to produce a successor to Abramowitz and Stegun's {\em Handbook of Mathematical Functions}, published by the National Bureau of Standards in 1964 and reprinted b ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150849

50. OOF3D: An Image-Based Finite Element Solver for Materials Science
Topic: Software
Published: 3/28/2012
Authors: Valerie R. Coffman, Andrew C.E. Reid, Stephen Langer, Gunay Dogan
Abstract: Recent advances in experimental techniques (micro CT scans, automated serial sectioning, electron back-scatter diffraction, synchrotron radiation x-rays) have made it possible to characterize the full, three dimensional structure of real materials. S ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=905504



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