• Korat

  • Referenced in 33 articles [sw07259]
  • check the correctness of each output.To generate test cases for a method, Korat constructs ... Korat is a technique for automatic test case generation: given a predicate and a bound ... show that it is feasible to generate test cases from Java predicates, even when ... expectation, the experiments show that Korat generates test cases much faster than the declarative framework...
  • Daikon

  • Referenced in 44 articles [sw04319]
  • output has been used for generating test cases, predicting incompatibilities in component integration, automating theorem...
  • QuickCheck

  • Referenced in 102 articles [sw07277]
  • define custom test data generators. We present a number of case studies, in which ... point out some pitfalls to avoid. Random testing is especially suitable for functional programs because...
  • DIMACS

  • Referenced in 571 articles [sw08221]
  • determining realistic algorithm performance where worst case analysis is overly pessimistic and probabilistic models ... problems that motivated theoretical work. It also tests many assumptions about implementation methods and data ... opportunity to develop and test problem instances, instance generators, and other methods of testing...
  • AETG

  • Referenced in 71 articles [sw09715]
  • generated both high-level test plans and detailed test cases. In several applications, it greatly...
  • jCUTE

  • Referenced in 13 articles [sw26692]
  • this combination, jCUTE is able to generate test cases that execute many different execution paths...
  • FShell

  • Referenced in 8 articles [sw14481]
  • FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. Although the principal analogy between ... counterexample generation and white box testing has been repeatedly addressed, the usage patterns and performance ... testing are quite different from formal verification. Our tool FShell provides a versatile testing environment ... describe architectural modifications which support efficient test case generation...
  • PathCrawler

  • Referenced in 10 articles [sw07253]
  • prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion ... code and we illustrate the test-case generation process on a representative example ... demonstrates the feasibility of rigorous and systematic testing of sequential programs coded in imperative languages...
  • CUTE

  • Referenced in 65 articles [sw00177]
  • part of unit can be tested by generating inputs for a single entry function ... function may contain pointer arguments, in which case the inputs to the unit are memory ... paper addresses the problem of automating unit testing with memory graphs as inputs. The approach ... more specifically, using such a combination to generate test inputs to explore all feasible execution...
  • HOL-TestGen

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

  • Referenced in 16 articles [sw07255]
  • used as a means for generating numerous test cases, but rather helps to exercise truly...
  • TestEra

  • Referenced in 22 articles [sw07258]
  • Java programs. TestEra automatically generates all non-isomorphic test cases within a given input size...
  • Wendy

  • Referenced in 6 articles [sw01246]
  • application scenarios from service brokerage to test case generation. Case studies show that Wendy efficiently...
  • AutoMOTGen

  • Referenced in 5 articles [sw09718]
  • present AutoMOTGen, a tool for automatic test case generation (ATG) from MATLAB Simulink/Stateflow (SL/SF) models...
  • Pex

  • Referenced in 35 articles [sw07263]
  • automatically generated small test suite which often achieves high code coverage. In one case study...
  • TOPOS

  • Referenced in 43 articles [sw02206]
  • generated by the complete set of combinations of criteria and objective functions, are computationally tested ... other authors. In some cases this new algorithm generates better solutions than the best known...
  • jPET

  • Referenced in 3 articles [sw12788]
  • jPET: an Automatic Test-Case Generator for Java. We present jPET, a white box test ... case generator (TCG) which can be used during software development of Java applications within ... which automatically obtains test-cases from the byte code associated to a Java program. jPET...
  • NAT2TEST

  • Referenced in 3 articles [sw16844]
  • completely automatic strategy for generation of test cases from natural language requirements, which might consider ... when particular conditions are met. Test cases are generated possibly using commercial tools (like ... which case the test generation is proved sound. The NAT2TEST tool, which supports the strategy...
  • MOOD

  • Referenced in 101 articles [sw39744]
  • original way to deal with the problems generated by the limitation process of high-order ... Numerical results on classical and demanding test cases for advection and Euler system are presented...
  • GENREG

  • Referenced in 60 articles [sw26671]
  • generation refined by criteria to avoid isomorphism checking and combined with a fast test ... regular graphs on 16 vertices. Also in cases with given girth, some remarkable results ... minimal number of vertices were generated in less than 1,h. There exist exactly four...