DSpec2Test: Specification-Driven Test Generation in Dafny

Sofia Vieira Pinto, Álvaro F. Silva, João Pascoal Faria +1

Verification-aware languages, such as Dafny, integrate logical constructs into code and enable automatic verification of program correctness. However, tests remain helpful in scena…