
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érvon Mises test statistic. Finite sample properties are assessed with Monte Carlo experiments...

SmallCheck
 Referenced in 19 articles
[sw09736]
 paper describes two Haskell libraries for propertybased testing. Following the lead of QuickCheck, these ... generators to obtain testsets 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 propertybased testing. Integrating propertybased 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 propertybased 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]
 interrelated statistical hypothesis testing to check if a property speciﬁed 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 steadystate 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...