• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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