• TestU01

  • Referenced in 112 articles [sw08033]
  • collection of utilities for the empirical statistical testing of uniform random number generators. The library ... generic form, as well as many specific generators proposed in the literature or found ... library and to user-defined generators. Specific tests suites for either sequences of uniform random ... studies of the interaction between a specific test and the structure of the point sets...
  • np

  • Referenced in 93 articles [sw10543]
  • tests of significance and consistent model specification tests for parametric mean regression models and parametric...
  • JUnit

  • Referenced in 31 articles [sw07262]
  • that makes writing unit tests easier. It uses a formal specification language’s runtime assertion ... data. Instead of writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions ... maintainable. Furthermore, by using specifications in testing, specification errors are quickly discovered, so the specifications ... with other combinations of formal specification languages and unit test tools...
  • gcmr

  • Referenced in 27 articles [sw07433]
  • used. Residual analysis and a specification test are suggested for validating the adequacy...
  • STG

  • Referenced in 21 articles [sw07274]
  • tool for generating symbolic test programs and oracles from operational specifications. We report ... developed that automates the derivation of tests from specifications. The tool implements conformance testing techniques ... oracles from formal operational specifications. It was applied for testing a simple version...
  • UniTESK

  • Referenced in 21 articles [sw06566]
  • technology of software testing based on formal specifications. Specifications are written using specialized extensions ... algorithms enable automated generation of test sequences from specifications, that ensure reliable testing of system...
  • eRm

  • Referenced in 23 articles [sw06658]
  • person parameters, Andersen’s LR-test, item-specific Wald test, Martin-Loef-Test, nonparametric Monte...
  • Korat

  • Referenced in 32 articles [sw07259]
  • framework for automated testing of Java programs. Given a formal specification for a method, Korat ... compares Korat with a testing framework based on declarative specifications. Contrary to our initial expectation...
  • CUTE

  • Referenced in 64 articles [sw00177]
  • paper addresses the problem of automating unit testing with memory graphs as inputs. The approach ... execution, and more specifically, using such a combination to generate test inputs to explore...
  • NAG

  • Referenced in 419 articles [sw00610]
  • world. With over 1,600 tried and tested routines that are both flexible and portable ... many platforms and operating systems. For more specific product information, library content and availability click...
  • TorX

  • Referenced in 19 articles [sw07155]
  • TorX. TorX is a specification-based, on-the-fly testing tool that tests for ioco ... formal specification. This paper describes an extension of TorX to not only allow testing ... expressed in the specification. An implementation then passes a timed test if it passes according ... quiescence signals are legal according to the specification. The specifications are described by means...
  • Keccak

  • Referenced in 71 articles [sw09834]
  • Keccak. The reference specification, analysis, reference and optimized code and test vectors for Keccak...
  • InterFOAM

  • Referenced in 23 articles [sw09035]
  • solver is confined to the validation tests of specific interest to the users...
  • Algorithm 679

  • Referenced in 63 articles [sw12583]
  • required. The test software aims to verify that specialized implementations meet the specification of Level...
  • AdaptFitOS

  • Referenced in 7 articles [sw06774]
  • build simultaneous confidence bands and perform specification tests for smooth curves in additive models ... properties of simultaneous confidence bands and specification tests are investigated in simulations. To facilitate...
  • SpecExplorer

  • Referenced in 18 articles [sw11366]
  • tool for advanced model-based specification and conformance testing...
  • EasyCheck

  • Referenced in 12 articles [sw09735]
  • present a lightweight, automated tool for specification-based testing of declarative programs written...
  • RAMSES

  • Referenced in 28 articles [sw18064]
  • from pure gas dynamical tests to cosmological ones. The specific refinement strategy used in cosmological...
  • CUTE

  • Referenced in 221 articles [sw14681]
  • scope of a major collection of test problems written in the standard input format ... Additionally, as each problem includes a specific classification that is designed to be useful...
  • SLPTESTSET

  • Referenced in 7 articles [sw07565]
  • emphasis on a close connection between the test problems and their associated real world applications ... format. In addition, there are 21 specific test cases with data in SMPS format...