Testing Dafny (experience paper).

Ahmed Irfan Sorawee Porncharoenwase Zvonimir Rakamaric Neha Rungta Emina Torlak

Published in: ISSTA (2022)

Keyphrases

user experience
real time
decision trees
case study
neural network
information retrieval
genetic algorithm
software systems
test data