• DIMACS

  • Referenced in 503 articles [sw08221]
  • opportunity to develop and test problem instances, instance generators, and other methods of testing ... include calls for participation, algorithm implementations, instance generators, bibliographies, and other electronic artifacts. The challenge...
  • TestU01

  • Referenced in 93 articles [sw08033]
  • empirical statistical testing of uniform random number generators. The library implements several types of random ... implementations of the classical statistical tests for random number generators, as well as several others ... library and to user-defined generators. Specific tests suites for either sequences of uniform random ... period length, before the generator starts to fail the test systematically...
  • Trilinos

  • Referenced in 342 articles [sw04028]
  • with builds across multiple platforms, generating documentation and regression testing across a set of target...
  • veriSoft

  • Referenced in 91 articles [sw01489]
  • assertion violations in a software system by generating, controlling, and observing the possible executions ... components. It integrates automatic test generation, execution and evaluation in a single framework. VeriSoft includes...
  • AETG

  • Referenced in 58 articles [sw09715]
  • testing that uses combinatorial designs to generate tests that cover the pairwise, triple ... parameters that determine the system’s test scenarios. Examples are system configuration parameters, user inputs ... system uses new combinatorial algorithms to generate test sets that cover all valid ... unit, system, and interoperability testing. It has generated both high-level test plans and detailed...
  • NIST Statistical Test Suite

  • Referenced in 81 articles [sw22972]
  • Statistical Test Suite for Random and Pseudorandom Number Generators for Cryptographic Applications. This paper discusses ... aspects of selecting and testing random and pseudorandom number generators. The outputs of such generators ... selecting appropriate generators are discussed in this document. The subject of statistical testing ... statistical tests can absolutely certify a generator as appropriate for usage in a particular application...
  • CUTE

  • Referenced in 59 articles [sw00177]
  • part of unit can be tested by generating inputs for a single entry function ... paper addresses the problem of automating unit testing with memory graphs as inputs. The approach ... specifically, using such a combination to generate test inputs to explore all feasible execution paths ... proposed to facilitate incremental generation of such test inputs. Finally, CUTE, a tool implementing...
  • MersenneTwister

  • Referenced in 254 articles [sw05367]
  • implemented this generator in portable C-code. It passed several stringent statistical tests, including diehard...
  • SifDec

  • Referenced in 199 articles [sw04087]
  • extensions to the SIF test problem format and the generation of files suited to automatic...
  • DART

  • Referenced in 68 articles [sw07260]
  • tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction ... source-code parsing; (2) automatic generation of a test driver for this interface that performs ... program behaves under random testing and automatic generation of new test inputs to direct systematically...
  • KLEE

  • Referenced in 40 articles [sw04894]
  • KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. Symbolic ... execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse ... open-source programs in existence. KLEE-generated tests achieve high line coverage — on average over...
  • QuickCheck

  • Referenced in 87 articles [sw07277]
  • also possible to define custom test data generators. We present a number of case studies ... point out some pitfalls to avoid. Random testing is especially suitable for functional programs because...
  • Korat

  • Referenced in 31 articles [sw07259]
  • check the correctness of each output.To generate test cases for a method, Korat constructs ... Korat is a technique for automatic test case generation: given a predicate and a bound ... show that it is feasible to generate test cases from Java predicates, even when ... expectation, the experiments show that Korat generates test cases much faster than the declarative framework...
  • Daikon

  • Referenced in 42 articles [sw04319]
  • output has been used for generating test cases, predicting incompatibilities in component integration, automating theorem...
  • Netgen

  • Referenced in 152 articles [sw06679]
  • element generation rules. Several techniques of mesh optimization are tested and quality plots are presented...
  • Pex

  • Referenced in 32 articles [sw07263]
  • White Box Test Generation for .NET. Pex automatically produces a small test suite with high ... behavior. The result is an automatically generated small test suite which often achieves high code...
  • CGAL

  • Referenced in 344 articles [sw00118]
  • generation and 3D surface and volume mesh generation, skin surfaces), geometry processing (surface mesh simplification ... like points and segments, and perform geometric tests on them. These objects and predicates ... Finally, the Support Library offers geometric object generators and spatial sorting functions, as well...
  • Algorithm 829

  • Referenced in 37 articles [sw04467]
  • Algorithm 829: Software for generation of classes of test functions with known local and global ... generating non-differentiable, continuously differentiable, and twice continuously differentiable classes of test functions for multiextremal ... class consists of 100 functions. Test functions are generated by defining a convex quadratic function ... generated randomly for all 100 functions of the class. Full information about each test function...
  • Diehard

  • Referenced in 72 articles [sw08098]
  • statistical tests for measuring the quality of a random number generator...
  • SFSDP

  • Referenced in 31 articles [sw04793]
  • SFSDP also includes the features of generating test problems for numerical experiments...