• WSAT

  • Referenced in 37 articles [sw01022]
  • This paper presents Web Service Analysis Tool (WSAT...
  • Rapide

  • Referenced in 38 articles [sw01249]
  • Rapide: A language and toolset for simulation of...
  • SyncGen

  • Referenced in 7 articles [sw01988]
  • SyncGen: an aspect-oriented framework for synchronization This...
  • Eiffel

  • Referenced in 290 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • Daikon

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

  • Referenced in 721 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • AGG

  • Referenced in 49 articles [sw04449]
  • The Attributed Graph Grammar System: AGG is a...
  • JML

  • Referenced in 188 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • COIN-OR

  • Referenced in 98 articles [sw04615]
  • The Computational Infrastructure for Operations Research (COIN-OR...
  • Uppaal

  • Referenced in 625 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • CADP

  • Referenced in 130 articles [sw04993]
  • CADP (”Construction and Analysis of Distributed Processes”, formerly...
  • OCaml

  • Referenced in 271 articles [sw06363]
  • OCaml is the most popular variant of the...
  • DiSL

  • Referenced in 3 articles [sw06886]
  • Java bytecode instrumentation made easy: The disl framework...
  • DaCapo

  • Referenced in 18 articles [sw07215]
  • This benchmark suite is intended as a tool...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • Using the Bandera tool set to model-check...
  • Soot

  • Referenced in 26 articles [sw09122]
  • Soot - a Java bytecode optimization framework. This paper...
  • Squeak

  • Referenced in 13 articles [sw09134]
  • Squeak is a modern, open source, full-featured...
  • Cetus

  • Referenced in 4 articles [sw09695]
  • Cetus -- an extensible compiler infrastructure for source-to...
  • CodeQuest

  • Referenced in 8 articles [sw10471]
  • CodeQuest: scalable source code queries with datalog. Source...