Results 21 to 40 of 52
Sort by:

  • Visual C#
  • Referenced in 25 articles [sw03520]
  • Microsoft Visual C# is Microsoft’s implementation of...

  • Haskell
  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...

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

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

  • JML
  • Referenced in 189 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...

  • Spec#
  • Referenced in 123 articles [sw04598]
  • The Spec# programming system is a new attempt...

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

  • z3
  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...

  • Maude
  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...

  • ESC/Java
  • Referenced in 137 articles [sw07217]
  • The Extended Static Checker for Java version 2...

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

  • DART
  • Referenced in 74 articles [sw07260]
  • DART: directed automated random testing. We present a...

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

  • QuickCheck
  • Referenced in 102 articles [sw07277]
  • QuickCheck: a lightweight tool for random testing of...

  • VeriFast
  • Referenced in 64 articles [sw07705]
  • The VeriFast program verifier. This note describes a...

  • Mercury
  • Referenced in 69 articles [sw08333]
  • Mercury is a logic/functional programming language which combines...

  • Cyclone
  • Referenced in 28 articles [sw09693]
  • Compiling for template-based run-time code generation...

  • iJulienne
  • Referenced in 6 articles [sw09903]
  • Slicing-based trace analysis of rewriting logic specifications...

  • JPAX
  • Referenced in 30 articles [sw09906]
  • An overview of the runtime verification tool Java...