• HOMAJ

  • Referenced in 0 articles [sw23767]
  • generating subtle HOMs, including several search-based software engineering techniques, enumeration search, and random search...
  • Lighthouse

  • Referenced in 2 articles [sw17469]
  • algebra software. Various fields of science and engineering rely on linear algebra for large scale ... available numerical software for their problems. We have developed a search-based expert system that ... optimization. Lighthouse provides a novel software engineering environment aimed at maximizing both developer productivity...
  • EOlib

  • Referenced in 19 articles [sw00239]
  • EO is a template-based, ANSI-C++ evolutionary...
  • Maple

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

  • Referenced in 15 articles [sw00562]
  • We present MCGP -- a tool for generating and...
  • 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...
  • 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...
  • ECJ

  • Referenced in 18 articles [sw07059]
  • ECJ 21: A Java-based Evolutionary Computation Research...
  • JUnit

  • Referenced in 33 articles [sw07262]
  • A simple and practical approach to unit testing...
  • C4.5

  • Referenced in 1166 articles [sw12176]
  • C4.5: programs for machine learning. (C4.5 has been...