• TPTP

  • Referenced in 395 articles [sw04143]
  • Provers) is a library of test problems for automated theorem proving (ATP) systems. The TPTP ... with: A comprehensive library of the ATP test problems that are available today, in order...
  • DART

  • Referenced in 74 articles [sw07260]
  • DART: directed automated random testing. We present a new tool, named DART, for automatically testing ... software that combines three main techniques: (1) automated extraction of the interface of a program ... code parsing; (2) automatic generation of a test driver for this interface that performs random ... Together, these three techniques constitute Directed Automated Random Testing, or DART for short. The main...
  • Korat

  • Referenced in 33 articles [sw07259]
  • Korat: Automated testing based on Java predicates. This paper presents Korat, a novel framework ... automated testing of Java programs. Given a formal specification for a method, Korat uses...
  • CUTE

  • Referenced in 65 articles [sw00177]
  • functions. A part of unit can be tested by generating inputs for a single entry ... paper addresses the problem of automating unit testing with memory graphs as inputs. The approach...
  • TestEra

  • Referenced in 22 articles [sw07258]
  • TestEra: A novel framework for automated testing of Java programs We present TestEra, a novel ... framework for automated testing of Java programs. TestEra automatically generates all non-isomorphic test cases...
  • HR

  • Referenced in 29 articles [sw10392]
  • program for theorem generation. Automated theory formation involves the production of objects of interest, concepts ... produce large numbers of theorems for testing automated theorem provers (ATPs), or smaller numbers ... automated theorem proving, and the production of benchmark theorems for the TPTP library of test...
  • GATeL

  • Referenced in 16 articles [sw07255]
  • GATeL: Automatic Test Generation from Lustre Descriptions GATeL is a tool developed by the French ... main objective is to automate the testing phase of critical control applications. The key point ... that automation is not used as a means for generating numerous test cases, but rather...
  • ILTP

  • Referenced in 28 articles [sw00437]
  • library provides a platform for testing and benchmarking automated theorem proving (ATP) systems for first...
  • SifDec

  • Referenced in 216 articles [sw04087]
  • initial release of CUTE, a widely used testing environment for optimization software, was described ... packages, and a considerably simplified and entirely automated installation procedure for unix systems. The environment ... features simple extensions to the SIF test problem format and the generation of files suited...
  • VTune

  • Referenced in 19 articles [sw08852]
  • quick insight into performance bottlenecks. Automate regression tests and collect data remotely using the powerful...
  • JUnit

  • Referenced in 33 articles [sw07262]
  • approach that makes writing unit tests easier. It uses a formal specification language’s runtime ... working correctly, thus automating the writing of unit test oracles. These oracles can be easily...
  • UniTESK

  • Referenced in 21 articles [sw06566]
  • UniTESK is a technology of software testing based on formal specifications. Specifications are written using ... advanced mathematical algorithms enable automated generation of test sequences from specifications, that ensure reliable testing...
  • AGATHA

  • Referenced in 10 articles [sw02930]
  • developed at CEA/LIST. It is an automated test generator for specifications of communicating concurrent units...
  • Daikon

  • Referenced in 44 articles [sw04319]
  • used for generating test cases, predicting incompatibilities in component integration, automating theorem proving, repairing inconsistent...
  • ODEXPERT

  • Referenced in 9 articles [sw13889]
  • about the input problem by performing automated tests to detect properties and structures...
  • STG

  • Referenced in 21 articles [sw07274]
  • tool for generating symbolic test programs and oracles from operational specifications. We report ... tool we have developed that automates the derivation of tests from specifications. The tool implements...
  • lbtt

  • Referenced in 7 articles [sw29442]
  • translator testbench. lbtt is a tool for testing programs that translate formulas expressed in propositional ... Büchi translation algorithms by providing an automated testing environment for LTL-to-Büchi translators. Additionally...
  • EasyCheck

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

  • Referenced in 11 articles [sw09915]
  • library provides a platform for testing and evaluating automated theorem proving (ATP) systems for first ... problems were determined by running comprehensive tests with existing modal ATP systems. In the presented...
  • ROSETTA

  • Referenced in 24 articles [sw10969]
  • development and testing of new algorithms and for partial automation of the overall KDD process...