• QuickCheck

  • Referenced in 99 articles [sw07277]
  • Haskell programmer in formulating and testing properties of programs. Properties are discribed as Haskell functions ... avoid. Random testing is especially suitable for functional programs because properties can be stated ... When a function is built from separately tested components, then random testing suffuces to obtain...
  • RKC

  • Referenced in 120 articles [sw00808]
  • discussed, implemented and tested. This method exploits some remarkable properties of a class of Runge...
  • TwoCop

  • Referenced in 59 articles [sw12359]
  • Cramér-von Mises test statistic. Finite sample properties are assessed with Monte Carlo experiments...
  • SmallCheck

  • Referenced in 19 articles [sw09736]
  • paper describes two Haskell libraries for property-based testing. Following the lead of QuickCheck, these ... generators to obtain test-sets of finite values for which properties are checked, and report ... sample of randomly generated values they test properties for all values up to some limiting...
  • LSQR

  • Referenced in 394 articles [sw00530]
  • conjugate gradients, but possesses more favorable numerical properties. Reliable stopping criteria are derived, along with ... implementation of the method, subroutine LSQR. Numerical tests are described comparing LSQR with several other...
  • Boltzmann

  • Referenced in 45 articles [sw07008]
  • space and time. Several numerical tests illustrate the properties of the methods...
  • SHAZAM

  • Referenced in 32 articles [sw04924]
  • simulation studies for assessing the statistical properties of test statistics SHAZAM comes with fast, responsive...
  • REGAL

  • Referenced in 18 articles [sw00791]
  • used for example to test properties of automata, to experimentally study average complexities of algorithms...
  • GraphBase

  • Referenced in 135 articles [sw01555]
  • computer programs and data useful for testing and comparing combinatorial algorithms. The programs generate ... graphs with a great variety of properties. Some of the graphs are based on data...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • well as estimation of local differential properties, and approximation of ridges and umbilics), alpha shapes ... like points and segments, and perform geometric tests on them. These objects and predicates...
  • YOGI

  • Referenced in 14 articles [sw13094]
  • Yogi Project: Software Property Checking via Static Analysis and Testing. We present Yogi, a tool ... that checks properties of C programs by combining static analysis and testing. Yogi implements ... algorithm which performs verification by combining directed testing and abstraction. We have engineered Yogi ... Windows Vista drivers with 85 properties. We find that the new algorithm enables Yogi...
  • QuickChick

  • Referenced in 5 articles [sw13283]
  • Foundational property-based testing. Integrating property-based testing with a proof assistant creates an interesting ... opportunity: reusable or tricky testing code can be formally verified using the proof assistant itself ... novel methodology for formally verified property-based testing and implement it as a foundational verification ... executable testing code is testing the right Coq property. To make verification tractable, we provide...
  • AMoRE

  • Referenced in 12 articles [sw20980]
  • regular operations, quotients, shuffle product), tests of properties (e.g. for set inclusion, nonemptiness), computation...
  • VESTA

  • Referenced in 25 articles [sw08425]
  • inter-related statistical hypothesis testing to check if a property specified in probabilistic computation tree...
  • Semigroups

  • Referenced in 31 articles [sw11877]
  • also possible to test if a semigroup satisfies a particular property, such...
  • WENO

  • Referenced in 54 articles [sw12694]
  • only test it for steady-state devices. The high order accuracy and nonoscillatory properties...
  • MatrixMarket

  • Referenced in 168 articles [sw04020]
  • provides convenient access to a repository of test data for use in comparative studies ... searching for matrices with special properties are included. Each matrix (and matrix...
  • DAISY

  • Referenced in 49 articles [sw09059]
  • DAISY: A new software tool to test global identifiability of biological and physiological systems ... priori global identifiability is a structural property of biological and physiological models. It is considered ... have been proposed in the literature to test identifiability of nonlinear models...
  • TorX

  • Referenced in 20 articles [sw07155]
  • only allow testing for functional correctness, but also for correctness w.r.t. timing properties expressed...
  • QNet

  • Referenced in 11 articles [sw13845]
  • tree queries, called QNet, and test its retrieval properties in simulations and on real network...