Publications

Alloy Repair Hint Generation Based on Historical Data

AuthID
P-016-ZXD

Author(s)

Barros, A

Neto, H

Cunha, A

Macedo, N

Paiva, ACR

Editor(s)

Platzer,A;Rozier,KY;Pradella,M;Rossi,M

Document Type

Proceedings Paper

Year published

2024

Published

in Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 14934, Pages: 104-121 (17)

Conference

26Th International Symposium on Formal Methods, Fm 2024, Date: 9 September 2024 through 13 September 2024, Location: Milan

Indexing

Scopus^®

Dblp^®/en/publications/view/1277869

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-031-71177-0_8

DBLP: conf/fm/BarrosNCMP24

SCOPUS: 2-s2.0-85205131477

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Alloy Repair Hint Generation Based on Historical Data

Useful Links

Get Help

Federated Authentication (Click on the image)

Alloy Repair Hint Generation Based on Historical Data

Useful Links

Get Help