Login / Signup

A Toolkit for Automated Testing of Dafny.

Aleksandr FedchinTyler DeanJeffrey S. FosterEric MercerZvonimir RakamaricGiles RegerNeha RungtaRobin SalkeldLucas WagnerCassidy Waldrip
Published in: NFM (2023)
Keyphrases
  • search based testing
  • fully automated
  • automated analysis
  • databases
  • test set
  • semi automated
  • data sets
  • data mining
  • information retrieval
  • feature space
  • image analysis
  • special case
  • fully automatic
  • computer aided