• DIMACS

  • Referenced in 571 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 120 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 407 articles [sw04028]
  • with builds across multiple platforms, generating documentation and regression testing across a set of target...
  • AETG

  • Referenced in 69 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...
  • MersenneTwister

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

  • Referenced in 92 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...
  • NIST Statistical Test Suite

  • Referenced in 88 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 65 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...
  • SifDec

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

  • Referenced in 74 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...
  • QuickCheck

  • Referenced in 99 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...
  • KLEE

  • Referenced in 44 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...
  • Korat

  • Referenced in 33 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...
  • Algorithm 829

  • Referenced in 58 articles [sw04467]
  • generator) Algorithm 829: Software for generation of classes of test functions with known local ... 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...
  • Netgen

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

  • Referenced in 35 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...
  • Daikon

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

  • Referenced in 384 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...
  • bnlearn

  • Referenced in 74 articles [sw08265]
  • with many score functions and conditional independence tests. The Naive Bayes and the Tree-Augmented ... comparison and manipulation, random data generation, arc orientation testing, simple and advanced plots) are included...
  • Diehard

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