• 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...