Testing Dafny (experience paper) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak. Testing Dafny (experience paper). In Sukyoung Ryu, Yannis Smaragdakis, editors, ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022. pages 556-567, ACM, 2022. [doi]

This author has not been identified. It may be one of the following persons:

Ahmed Irfan

Look up 'Ahmed Irfan' in GoogleThis author has not been identified. Look up 'Sorawee Porncharoenwase' in GoogleThis author has not been identified. Look up 'Zvonimir Rakamaric' in GoogleThis author has not been identified. Look up 'Neha Rungta' in GoogleThis author has not been identified. Look up 'Emina Torlak' in Google

runs on WebDSL