• Gecode

  • Referenced in 82 articles [sw06272]
  • different test cases reaching a test coverage close...
  • KLEE

  • Referenced in 44 articles [sw04894]
  • 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 ... programs in existence. KLEE-generated tests achieve high line coverage — on average over ... significantly beat the coverage of the developers’ own hand-written test suites. When...
  • QuickCheck

  • Referenced in 99 articles [sw07277]
  • tested components, then random testing suffuces to obtain good coverage of the definition under test...
  • Pex

  • Referenced in 35 articles [sw07263]
  • automatically produces a small test suite with high code coverage for a .NET program ... path-bounded model-checking) to determine test inputs for Parameterized Unit Tests. Pex learns ... automatically generated small test suite which often achieves high code coverage. In one case study ... runtime which had already been extensively tested over several years. Pex found errors, including...
  • GKLEE

  • Referenced in 11 articles [sw12794]
  • automatically generate tests that provide high coverage. These tests serve as concrete witnesses for every ... test-case reduction heuristics, and the resulting scalability improvement for a given coverage target...
  • Symstra

  • Referenced in 19 articles [sw01296]
  • that Symstra generates unit tests that achieve higher branch coverage faster than the existing test...
  • UniTESK

  • Referenced in 21 articles [sw06566]
  • specifications, that ensure reliable testing of system behavior with required coverage. We developed specification extensions...
  • covr

  • Referenced in 4 articles [sw15559]
  • package covr: Test Coverage for Packages. Track and report code coverage for your package ... coverage is a measure of the amount of code being exercised by the tests ... compatible with any testing methodology or framework and tracks coverage of both R code...
  • ADTEST

  • Referenced in 4 articles [sw07254]
  • well as provide an increase in test coverage...
  • SALT

  • Referenced in 7 articles [sw36120]
  • line of reasoning, and in analyzing test case coverage. The strong commitment to problem-solving...
  • AutoMOTGen

  • Referenced in 5 articles [sw09718]
  • from MATLAB Simulink/Stateflow (SL/SF) models [6] for testing automotive controllers. Our methodology is based ... play of different model checkers, test data generators and coverage analysis tools for enhancing ... generate tests with lesser number of (discrete) steps in the intermediate model. Implements coverage dependent ... generation of test data and proving the unreachability of some of the coverage goals. AutoMOTGen...
  • Geno

  • Referenced in 5 articles [sw38733]
  • Controllable combinatorial coverage in grammar-based testing. Given a grammar (or other sorts of meta ... grammar-based testing tend to admit non-explosive approximations of naive combinatorial coverage. In this ... notion of controllable combinatorial coverage and a corresponding algorithm for test-data generation. The approach ... full combinatorial coverage. The approach has been implemented in the C#-based test-data generator...
  • JST

  • Referenced in 3 articles [sw19494]
  • automatic test generation tool for industrial Java applications with strings. In this paper we present ... tool that automatically generates a high coverage test suite for industrial strength Java applications. This...
  • DESlib

  • Referenced in 3 articles [sw23559]
  • Read the Docs), with a high test coverage (cover.io) as well as code quality (Landscape...
  • Subsumer

  • Referenced in 3 articles [sw13854]
  • core of the hypotheses coverage test which is often the bottleneck of an ILP system...
  • simctest

  • Referenced in 10 articles [sw09309]
  • compute the power of Monte Carlo tests with guaranteed precision. This article presents an algorithm ... length and coverage probability for the power of a Monte Carlo test (such ... this aim for almost any Monte Carlo test. Previous research has focused on obtaining ... interval with a user-specified length and coverage probability can be constructed. We show that...
  • KJS

  • Referenced in 6 articles [sw18992]
  • only Chrome V8’s passes all the tests, and no other semantics passes more than ... also yields a simple coverage metric for a test suite: the set of semantic rules...
  • Pint

  • Referenced in 2 articles [sw21140]
  • wrapping numpy. It has a complete test coverage. It runs in Python...
  • VDMTools

  • Referenced in 2 articles [sw18244]
  • class diagrams, documentation support, test coverage analysis and debugging support. The tools’ focus...
  • JMLUnit

  • Referenced in 1 article [sw00475]
  • based. While JMLUnit can provide reasonable test coverage when used by a skilled developer ... several shortcomings including excessive memory utilization during testing and the need to manually write significant ... also present a comparison of test coverage between JMLUnitNG and the original JMLUnit...