News
People
Publications
Projects
Opportunities
Contact
João Pascoal Faria
Latest
DSpec2Test: Specification-Driven Test Generation in Dafny
Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny
Cite
×