• Bogart

  • Referenced in 2 articles [sw34517]
  • analysis and remediation of Year 2000 bugs. This study demonstrates that certain AI techniques ... code. This reaffirms the need for an explanation facility in intelligent applications...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • MiniSat

  • Referenced in 531 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 8359 articles [sw00771]
  • R is a language and environment for statistical...
  • LIBSVM

  • Referenced in 1088 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • fields

  • Referenced in 48 articles [sw08187]
  • R package fields: Tools for spatial data. Fields...
  • Eraser

  • Referenced in 43 articles [sw08922]
  • Eraser: a dynamic data race detector for multithreaded...
  • CBMC

  • Referenced in 77 articles [sw09719]
  • CBMC is a Bounded Model Checker for ANSI...
  • RacerX

  • Referenced in 16 articles [sw09941]
  • RacerX: Effective, static detection of race conditions and...
  • gamair

  • Referenced in 276 articles [sw11132]
  • R package gamair: Data for ”GAMs: An Introduction...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • Goldilocks: a race and transaction-aware Java runtime...
  • TensorFlow

  • Referenced in 284 articles [sw15170]
  • TensorFlow™ is an open source software library for...
  • PrefixSpan

  • Referenced in 79 articles [sw20761]
  • PrefixSpan: mining sequential patterns efficiently by prefix-projected...
  • CTrigger

  • Referenced in 3 articles [sw23066]
  • CTrigger: exposing atomicity violation bugs from their hiding...
  • bzip2smp

  • Referenced in 1 article [sw23085]
  • BZIP2SMP. This program parallelizes the BZIP2 compression process...
  • FastTrack

  • Referenced in 5 articles [sw23086]
  • FastTrack: efficient and precise dynamic race detection. Multithreaded...
  • Falcon

  • Referenced in 2 articles [sw23088]
  • Falcon: fault localization in concurrent programs. Concurrency fault...
  • CHESS

  • Referenced in 4 articles [sw23089]
  • CHESS: a systematic testing tool for concurrent software...
  • AVIO

  • Referenced in 7 articles [sw23090]
  • AVIO: detecting atomicity violations via access interleaving invariants...