• qHiPSTER

  • Referenced in 10 articles [sw27649]
  • qHiPSTER: The Quantum High Performance Software Testing Environment. We present qHiPSTER, the Quantum High Performance ... Software Testing Environment. qHiPSTER is a distributed high-performance implementation of a quantum simulator ... Stampede supercomputer, we simulate quantum circuits (”quantum software”) of up to 40 qubits. We carry...
  • Algorithm 656

  • Referenced in 10 articles [sw20254]
  • paper describes a model implementation and test software for the Level 2 Basic Linear Algebra ... exist or are not required. The test software aims to verify that specialized implementations meet...
  • Adams

  • Referenced in 46 articles [sw06593]
  • widely used multibody dynamics and motion analysis software in the world. Adams helps engineers ... performance of their products. Traditional ”build and test” design methods are expensive, time consuming ... Adams multibody dynamics software enables engineers to easily create and test virtual prototypes of mechanical...
  • CGAL

  • Referenced in 350 articles [sw00118]
  • like points and segments, and perform geometric tests on them. These objects and predicates ... further offers interfaces to third party software such as the GUI libraries Qt, Geomview...
  • GLOB

  • Referenced in 33 articles [sw00357]
  • algorithm is implemented within the software package GLOB. The tests are performed on some standard ... test functions and on a class of NP-hard global optimization problems arising in practice ... results show the potential of the new software...
  • COPS

  • Referenced in 33 articles [sw08461]
  • Benchmarking optimization software with COPS. We are continuing the development of COPS, a large-scale ... collection is to provide difficult test cases for optimization software. Problems in the current version...
  • IR Tools

  • Referenced in 25 articles [sw26721]
  • MATLAB software package of iterative regularization methods and test problems for large-scale linear inverse ... problems. The software package, called IR Tools, serves two related purposes: we provide implementations ... provide a set of large-scale test problems in the form of discretizations...
  • GPflow

  • Referenced in 12 articles [sw21518]
  • engineered with a particular emphasis on software testing and is able to exploit GPU hardware...
  • deTestSet

  • Referenced in 21 articles [sw06062]
  • test set for stiff initial value problem solvers in the open source software R: Package ... test problems and to most of the Fortran solvers. The package deTestSet is free software...
  • NModel

  • Referenced in 11 articles [sw11364]
  • NModel is a model-based testing and analysis framework for model programs written ... used in the book Model-based Software Testing and Analysis with C#. In constrast with...
  • TISEAN

  • Referenced in 155 articles [sw00967]
  • reduction, dimension and Lyapunov estimation, and nonlinearity testing are discussed with particular emphasis on issues ... strategies are publicly available as the TISEAN software package. The use of each algorithm will...
  • Algorithm 829

  • Referenced in 38 articles [sw04467]
  • Algorithm 829: Software for generation of classes of test functions with known local and global...
  • veriSoft

  • Referenced in 91 articles [sw01489]
  • deadlocks, etc.) and assertion violations in a software system by generating, controlling, and observing ... components. It integrates automatic test generation, execution and evaluation in a single framework. VeriSoft includes...
  • SVMlight

  • Referenced in 260 articles [sw04076]
  • many thousands of support vectors efficiently. The software also provides methods for assessing the generalization ... Almost unbiased estimates provides leave-one-out testing. SVMlight exploits that the results of most...
  • FShell

  • Referenced in 8 articles [sw14481]
  • usage patterns and performance requirements for software testing are quite different from formal verification ... tool FShell provides a versatile testing environment for C programs which supports both interactive explorative ... scripting language. More than a frontend for software model checkers, FShell is designed ... describe architectural modifications which support efficient test case generation...
  • ATGen

  • Referenced in 11 articles [sw07275]
  • ATGen: automatic test data generation using constraint logic programming and symbolic execution ... verification and validation of software through dynamic testing is an area of software engineering where ... particular the automatic design and generation of test data remains, by and large, a manual...
  • Lutess

  • Referenced in 7 articles [sw01252]
  • Lutess: A testing environment for synchronous software ... present Lutess, a tool for testing synchronous reactive software. Lutess provides a formal framework based ... Lustre language. It embodies several testing techniques: random testing with or without operational profiles, specification ... Section 2 introduces the issue of testing reactive software and presents Lutess from the tester...
  • Defects4J

  • Referenced in 4 articles [sw26882]
  • Java programs. Empirical studies in software testing research may not be comparable, reproducible, or characteristic ... bugs are too infrequently used in software testing research. Extracting and reproducing real bugs ... bugs to enable reproducible studies in software testing research. The initial version of Defects4J contains ... level interface to common tasks in software testing research, making it easy to con- duct...
  • Algorithm 692

  • Referenced in 5 articles [sw13131]
  • paper desribes a model implementation and test software for the Sparse Basic Linear Algebra Subprograms ... exist or are not required. The test software is designed to verify that tuned implementations...