• Whispec

  • Referenced in 1 article [sw38506]
  • Whispec: white-box testing of libraries using declarative specifications. We present a novel framework, Whispec ... white-box testing of methods that manipulate structurally complex data, such as those that pervade...
  • NATTACK

  • Referenced in 1 article [sw32886]
  • also strong; according to the testing against 2 vanilla DNNs and 13 defended ones ... black-box or white-box attack methods for most test cases. Additionally, our results reveal...
  • SecML

  • Referenced in 2 articles [sw31336]
  • attacks against machine learning, including not only test-time evasion attacks to generate adversarial examples ... corresponding defenses under both white-box and black-box threat models. To this end, secml...
  • SageMath

  • Referenced in 2033 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • Symstra

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

  • Referenced in 14 articles [sw01300]
  • Cogent: Accurate theorem proving for program verification. Many...
  • Valgrind

  • Referenced in 63 articles [sw04420]
  • Valgrind is an instrumentation framework for building dynamic...
  • SIMPLIFY

  • Referenced in 141 articles [sw04976]
  • Extended static checking. This paper provides an overview...
  • Maude

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

  • Referenced in 21 articles [sw06566]
  • UniTESK is a technology of software testing based...
  • 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...
  • DDebugger

  • Referenced in 15 articles [sw09904]
  • Declarative debugging of rewriting logic specifications. Declarative debugging...
  • bootstrap

  • Referenced in 1136 articles [sw19105]
  • R package bootstrap. bootstrap: Functions for the Book...