• 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...
  • DART

  • Referenced in 71 articles [sw07260]
  • tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction ... static source-code parsing; (2) automatic generation of a test driver for this interface that ... program behaves under random testing and automatic generation of new test inputs to direct systematically ... Testing, or DART for short. The main strength of DART is thus that testing...
  • SifDec

  • Referenced in 206 articles [sw04087]
  • test problem format and the generation of files suited to automatic differentiation packages...
  • KLEE

  • Referenced in 43 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...
  • Pex

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

  • Referenced in 32 articles [sw07259]
  • presents Korat, a novel framework for automated testing of Java programs. Given a formal specification ... uses the method precondition to automatically generate all (nonisomorphic) test cases up to a given ... 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...
  • ATGen

  • Referenced in 11 articles [sw07275]
  • ATGen: automatic test data generation using constraint logic programming and symbolic execution The verification ... slow. In particular the automatic design and generation of test data remains, by and large ... proposed as a method for automatic test data generation. This paper presents an automatic test ... potential in the area of automatic test data generation are presented. ATGen, an automatic test...
  • GATeL

  • Referenced in 16 articles [sw07255]
  • GATeL: Automatic Test Generation from Lustre Descriptions GATeL is a tool developed by the French...
  • SOCRATES

  • Referenced in 10 articles [sw10073]
  • SOCRATES: A highly efficient automatic test pattern generation system. An automatic test pattern generation system ... significantly improve and accelerate the automatic test pattern generation process for combinational and scan-based...
  • Netgen

  • Referenced in 170 articles [sw06679]
  • abstract rules. The algorithms of the automatic mesh generator NETGEN are described. The domain ... whole task of 3D mesh generation splits into four subproblems of special point calculation, edge ... finally volume mesh generation. Surface and volume mesh generation are based on the advancing front ... element generation rules. Several techniques of mesh optimization are tested and quality plots are presented...
  • QuickCheck

  • Referenced in 89 articles [sw07277]
  • automatically tested on random input, but it is also possible to define custom test data ... generators. We present a number of case studies, in which the tool was successfully used...
  • TestEra

  • Referenced in 22 articles [sw07258]
  • Java programs. TestEra automatically generates all non-isomorphic test cases within a given input size...
  • jCUTE

  • Referenced in 11 articles [sw26692]
  • Concolic Unit Testing Engine (jCUTE) automatically generates unit tests for Java programs. Concolic execution combines ... randomized concrete execution with symbolic execution and automatic constraint solving. Symbolic execution allows jCUTE ... this combination, jCUTE is able to generate test cases that execute many different execution paths...
  • GKLEE

  • Referenced in 10 articles [sw12794]
  • GKLEE: concolic verification and test generation for GPUs. Programs written for GPUs often contain correctness ... analysis or conservative modeling of SIMD concurrency generate false alarms resulting in wasted bug-hunting ... these programs, GKLEE can also automatically generate tests that provide high coverage. These tests serve...
  • PathCrawler

  • Referenced in 10 articles [sw07253]
  • PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis. We present ... PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths...
  • ADL

  • Referenced in 9 articles [sw07257]
  • assertions. It can be used to automatically generate tests based on API specifications...
  • Rcpp

  • Referenced in 217 articles [sw08385]
  • functions as callable from R and automatically generating the code required to invoke them. Attributes ... examples are included, and around 891 unit tests in 430 unit test functions provide additional...
  • FocalTest

  • Referenced in 6 articles [sw06448]
  • constraint solvers to automatically generate test data (e.g., Pex, Sage, Gatel, PathCrawler, Euclide). However...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • allow, among others, the generation of code lists and automatic differentiation. The chapter on preconditioning ... based on branch and bound, infeasibility test, interval Newton algorithm applied to the John conditions...
  • KLOVER

  • Referenced in 3 articles [sw13840]
  • KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs. We present ... first symbolic execution and automatic test generation tool for C++ programs. First we describe ... efficient solvers, and semi-automatic unit and component testing. This tool is being used...