• T3

  • Referenced in 1 article [sw39691]
  • International Workshop on Search-Based Software Testing (SBST...
  • JUGE

  • Referenced in 1 article [sw39682]
  • test case generators to support effective software testing. Such generators exist for various languages ... testing goals they aim to satisfy (e.g., unit-testing of libraries vs. system-testing ... benchmarking infrastructure (JUGE) supporting generators (e.g., search-based, random-based, symbolic execution, etc.) seeking ... competition, co-located with the Search-Based Software Testing Workshop, have taken place and used...
  • IGUANA

  • Referenced in 1 article [sw14422]
  • tool for automatically generating software test data using search-based approaches. Search-based approaches explore...
  • FloPSy

  • Referenced in 3 articles [sw12793]
  • FloPSy - search-based floating point constraint solving for symbolic execution. Recently there has been ... upsurge of interest in both, SearchBased Software Testing (SBST), and Dynamic Symbolic Execution...
  • Angelix

  • Referenced in 2 articles [sw26887]
  • Angelix: Semantics-based test-driven automated program repair tool for C programs. Automated program repair ... classified into search-based methods and semantics-based methods. Our semantic analysis based repair tool ... based on semantic information of the program and scales up to real-world software. Furthermore...
  • HOMAJ

  • Referenced in 0 articles [sw23767]
  • their software development processes. This paper presents HOMAJ, a higher order mutation testing tool ... test set that kills all the FOMs. Subtle HOMs can be valuable for improving test ... generating subtle HOMs, including several search-based software engineering techniques, enumeration search, and random search...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • PRISM

  • Referenced in 454 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • CPLEX

  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • NuSMV

  • Referenced in 314 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • Genocop

  • Referenced in 1103 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • TSPAntSim

  • Referenced in 6 articles [sw04980]
  • An interactive simulation and analysis software for solving...
  • ve08

  • Referenced in 150 articles [sw05141]
  • On the unconstrained optimization of partially separable functions...
  • VRP

  • Referenced in 1128 articles [sw05207]
  • The Vehicle Routing Problem (VRP) is one of...
  • minpack

  • Referenced in 740 articles [sw05310]
  • Notes on optimization software. This paper is an...
  • JaCoP

  • Referenced in 21 articles [sw06307]
  • JaCoP is a Java Constraint Programming solver. It...
  • SPEA2

  • Referenced in 486 articles [sw06686]
  • SPEA2 - The Strength Pareto Evolutionary Algorithm 2: SPEA2...
  • KEEL

  • Referenced in 156 articles [sw06791]
  • KEEL: a software tool to assess evolutionary algorithms...