• Pex

  • Referenced in 35 articles [sw07263]
  • White Box Test Generation for .NET. Pex automatically produces a small test suite with high...
  • FShell

  • Referenced in 8 articles [sw14481]
  • FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. Although ... principal analogy between counterexample generation and white box testing has been repeatedly addressed, the usage...
  • jPET

  • Referenced in 3 articles [sw12788]
  • Java. We present jPET, a white box test-case generator (TCG) which can be used...
  • 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...
  • 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...
  • mclust

  • Referenced in 304 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...
  • R

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

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

  • Referenced in 720 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • 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...
  • MINITAB

  • Referenced in 208 articles [sw02865]
  • Analyze your data and improve your products and...
  • CUDA

  • Referenced in 1317 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SeDuMi

  • Referenced in 1272 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • SDPT3

  • Referenced in 697 articles [sw04009]
  • This software is designed to solve conic programming...