Exploring Automatic Specification Repair in Dafny Programs
Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra
2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), 2023, p.105-112
IEEE
No full-text
- Searching for
- inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
- Show me what you have so far