• SIMPLIFY

  • Referenced in 141 articles [sw04976]
  • dynamic checking such as testing. Since the cost of correcting an error is reduced...
  • RSVM

  • Referenced in 55 articles [sw15261]
  • data points. Computational results indicate that test set correctness for the reduced support vector machine...
  • FLAME

  • Referenced in 39 articles [sw00293]
  • derived, verified to be correct, implemented, and tested, often in a matter of minutes...
  • Korat

  • Referenced in 33 articles [sw07259]
  • method postcondition as a test oracle to check the correctness of each output.To generate test...
  • JUnit

  • Referenced in 33 articles [sw07262]
  • programming. However, unit testing is a practical approach to increasing the correctness and quality ... Extreme Programming approach relies on frequent unit testing. par In this paper we present ... approach that makes writing unit tests easier. It uses a formal specification language’s runtime ... methods are working correctly, thus automating the writing of unit test oracles. These oracles...
  • TETRAD

  • Referenced in 441 articles [sw12177]
  • program which creates, simulates data from, estimates, tests, predicts with, and searches for causal ... guaranteed to converge almost certainly to correct information about the true structure in the large...
  • TorX

  • Referenced in 20 articles [sw07155]
  • TorX to not only allow testing for functional correctness, but also for correctness w.r.t. timing...
  • apTreeshape

  • Referenced in 9 articles [sw31620]
  • testing null models of macroevolution using corrected test statistics. Trees of class ”phylo” (from...
  • limma

  • Referenced in 61 articles [sw10458]
  • Bayes test statistics are explained. The use of quality weights, adaptive background correction and control...
  • Algorithm 679

  • Referenced in 65 articles [sw12583]
  • exists or are not required. The test software aims to verify that specialized implementations meet ... Level 2 BLAS that implementations are correctly installed...
  • NLPQLP

  • Referenced in 40 articles [sw04073]
  • standard test examples even if the partial derivatives possess only one correct digit...
  • NMHDECAY

  • Referenced in 37 articles [sw02826]
  • spectrum and tests against constraints from LEP and the Tevatron. Further radiative corrections are included...
  • diptest

  • Referenced in 8 articles [sw23521]
  • package diptest: Hartigan’s Dip Test Statistic for Unimodality - Corrected. Compute Hartigan’s dip test ... test with simulation based p-values, where the original public code has been corrected...
  • SLIC

  • Referenced in 163 articles [sw18282]
  • mixed fluid cell are completely determined by testing whether or not the various fluids ... relatively easy to advance the fluid surfaces correctly in time. With the SLIC fluid-surface...
  • FISHPAK

  • Referenced in 103 articles [sw08012]
  • poles in spherical coordinates. Test programs are provided for the 19 solvers. Each serves ... demonstration on your computer that you can correctly produce FISHPACK executables. The FISHPACK library...
  • scmamp

  • Referenced in 7 articles [sw31453]
  • different problems, the package uses statistical tests and corrections to assess the differences between algorithms...
  • Statsmodels

  • Referenced in 27 articles [sw21271]
  • results are tested against existing statistical packages to ensure that they are correct. The package...
  • hierinf

  • Referenced in 4 articles [sw33471]
  • based on an efficient hierarchical multiple testing correction and controls the FWER. The functions...
  • RAM

  • Referenced in 14 articles [sw18139]
  • show that underresolved simulations of simple test problems with transverse velocity components produce incorrect results ... correctly solve these problems. RAM has been tested in one, two, and three dimensions...
  • TestEra

  • Referenced in 22 articles [sw07258]
  • isomorphic test cases within a given input size and evaluates correctness criteria. As an enabling...