• JWalk

  • Referenced in 2 articles [sw06857]
  • JWalk: a tool for lazy, systematic testing of java classes by design introspection and user ... developed to address the need for systematic unit testing within the context of agile methods ... Java classes and uses a new lazy method for inducing the changing design...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Zing

  • Referenced in 38 articles [sw01037]
  • Zing is a software model checking project at...
  • Symstra

  • Referenced in 19 articles [sw01296]
  • Symstra: A framework for generating object-oriented unit...
  • veriSoft

  • Referenced in 92 articles [sw01489]
  • VeriSoft automatically searches for coordination problems (deadlocks, etc...
  • SLAM

  • Referenced in 153 articles [sw03136]
  • SLAM is a project for checking that software...
  • Gurobi

  • Referenced in 679 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • Daikon

  • Referenced in 44 articles [sw04319]
  • The Daikon system for dynamic detection of likely...
  • OBJ3

  • Referenced in 140 articles [sw05370]
  • OBJ3 is a program specification and proof system...
  • TestEra

  • Referenced in 22 articles [sw07258]
  • TestEra: A novel framework for automated testing of...
  • Korat

  • Referenced in 33 articles [sw07259]
  • Korat: Automated testing based on Java predicates. This...
  • JUnit

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

  • Referenced in 10 articles [sw07268]
  • Rostra: A Framework for Detecting Redundant Object-Oriented...
  • Eclat

  • Referenced in 7 articles [sw07273]
  • Eclat: Automatic Generation and Classification of Test Inputs...
  • JCrasher

  • Referenced in 12 articles [sw12796]
  • JCrasher: an Automatic Robustness Tester for Java. JCrasher...