• Rcpp

  • Referenced in 273 articles [sw08385]
  • examples are included, and around 891 unit tests in 430 unit test functions provide additional...
  • CUTE

  • Referenced in 65 articles [sw00177]
  • CUTE: a concolic unit testing engine for C. In unit testing, a program is decomposed ... functions. A part of unit can be tested by generating inputs for a single entry ... which case the inputs to the unit are memory graphs ... paper addresses the problem of automating unit testing with memory graphs as inputs. The approach...
  • Theano

  • Referenced in 95 articles [sw05894]
  • dynamic C code generation, and extensive unit-testing and self-verification. Theano has been powering...
  • DART

  • Referenced in 74 articles [sw07260]
  • test driver or harness code. During testing, DART detects standard errors such as program crashes ... termination. Preliminary experiments to unit test several examples of C programs are very encouraging...
  • JUnit

  • Referenced in 33 articles [sw07262]
  • simple and practical approach to unit testing: The JML and JUnit way. Writing unit test ... integral part of programming. However, unit testing is a practical approach to increasing the correctness ... Extreme Programming approach relies on frequent unit testing. par In this paper we present ... approach that makes writing unit tests easier. It uses a formal specification language’s runtime...
  • SWI-Prolog

  • Referenced in 45 articles [sw20950]
  • programming documentation system) and PlUnit (a unit testing environment). In this article, we present...
  • Pex

  • Referenced in 35 articles [sw07263]
  • determine test inputs for Parameterized Unit Tests. Pex learns the program behavior by monitoring execution...
  • testthat

  • Referenced in 26 articles [sw19344]
  • package testthat: Unit Testing for R. A unit testing system designed to be fun, flexible...
  • Symstra

  • Referenced in 19 articles [sw01296]
  • framework for generating object-oriented unit tests using symbolic execution Object-oriented unit tests consist ... beginning of the invocation. Correspondingly, generating unit tests involves two tasks: generating method sequences that ... methods from the class under test and a bound on the length of sequences, Symstra ... Experimental results show that Symstra generates unit tests that achieve higher branch coverage faster than...
  • AETG

  • Referenced in 69 articles [sw09715]
  • test parameters. This allows testers to define test models with dozens of parameters. The AETG ... variety of applications for unit, system, and interoperability testing. It has generated both high-level...
  • jCUTE

  • Referenced in 13 articles [sw26692]
  • Java Concolic Unit Testing Engine (jCUTE) automatically generates unit tests for Java programs. Concolic execution...
  • Rostra

  • Referenced in 10 articles [sw07268]
  • Framework for Detecting Redundant Object-Oriented Unit Tests Object-oriented unit tests consist of sequences ... same method behavior, which increases the testing time without increasing the ability to detect faults ... Rostra, a framework for detecting redundant unit tests, and presents five fully automatic techniques within...
  • jsonlite

  • Referenced in 13 articles [sw15573]
  • validate, and prettify JSON data. The unit tests included with the package verify that...
  • NModel

  • Referenced in 12 articles [sw11364]
  • with C#. In constrast with conventional unit testing, where a test engineer must code each...
  • urca

  • Referenced in 14 articles [sw12245]
  • package urca: Unit root and cointegration tests for time series data. Unit root and cointegration...
  • Semigroups

  • Referenced in 31 articles [sw11877]
  • ideals, size, elements, group of units, small generating sets, testing membership, finding the inverses...
  • HOL-TestGen

  • Referenced in 10 articles [sw17720]
  • test case generator for specification based unit testing. HOL-TestGen is built...
  • Imbalanced-learn

  • Referenced in 9 articles [sw21535]
  • scikit-learn-contrib supported project. Documentation, unit tests as well as integration tests are provided...
  • geomstats

  • Referenced in 9 articles [sw24373]
  • transformations. We provide efficient and extensively unit-tested implementations of these manifolds, together with useful...
  • FLASH Code

  • Referenced in 8 articles [sw00294]
  • source. A built-in unit test framework combined with regression tests that run nightly...