• Korat

  • Referenced in 31 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 42 articles [sw04319]
  • output has been used for generating test cases, predicting incompatibilities in component integration, automating theorem...
  • QuickCheck

  • Referenced in 87 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 503 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 58 articles [sw09715]
  • generated both high-level test plans and detailed test cases. In several applications, it greatly...
  • 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 59 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...
  • GATeL

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

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

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

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

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

  • Referenced in 42 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...
  • Pex

  • Referenced in 32 articles [sw07263]
  • automatically generated small test suite which often achieves high code coverage. In one case study...
  • 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...
  • GATE

  • Referenced in 6 articles [sw06442]
  • calibrated using a Gaussian landscape generator as test case, is shown to be very efficient...
  • AutoMOTGen

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

  • Referenced in 3 articles [sw25442]
  • query for a particular test case. Unfortunately, current database generators generate databases independent of queries ... generated test databases can obtain the desired (intermediate) query results that match the test case ... generating a test database and then seeing how well it matches a particular test case ... propose to generate a query-aware database for each test case. To that...