Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287322414> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4287322414 abstract "The rising popularity of declarative languages and the hard to debug nature thereof have motivated the need for applicable, automated repair techniques for such languages. However, despite significant advances in the program repair of imperative languages, there is a dearth of repair techniques for declarative languages. This paper presents BeAFix, an automated repair technique for faulty models written in Alloy, a declarative language based on first-order relational logic. BeAFix is backed with a novel strategy for bounded exhaustive, yet scalable, exploration of the spaces of fix candidates and a formally rigorous, sound pruning of such spaces. Moreover, different from the state-of-the-art in Alloy automated repair, that relies on the availability of unit tests, BeAFix does not require tests and can work with assertions that are naturally used in formal declarative languages. Our experience with using BeAFix to repair thousands of realworld faulty models, collected by other researchers, corroborates its ability to effectively generate correct repairs and outperform the state-of-the-art." @default.
- W4287322414 created "2022-07-25" @default.
- W4287322414 creator A5014258890 @default.
- W4287322414 creator A5016401353 @default.
- W4287322414 creator A5035707440 @default.
- W4287322414 creator A5056122432 @default.
- W4287322414 creator A5062946528 @default.
- W4287322414 creator A5074298887 @default.
- W4287322414 creator A5077357602 @default.
- W4287322414 date "2021-02-27" @default.
- W4287322414 modified "2023-09-27" @default.
- W4287322414 title "Bounded Exhaustive Search of Alloy Specification Repairs" @default.
- W4287322414 doi "https://doi.org/10.48550/arxiv.2103.00327" @default.
- W4287322414 hasPublicationYear "2021" @default.
- W4287322414 type Work @default.
- W4287322414 citedByCount "0" @default.
- W4287322414 crossrefType "posted-content" @default.
- W4287322414 hasAuthorship W4287322414A5014258890 @default.
- W4287322414 hasAuthorship W4287322414A5016401353 @default.
- W4287322414 hasAuthorship W4287322414A5035707440 @default.
- W4287322414 hasAuthorship W4287322414A5056122432 @default.
- W4287322414 hasAuthorship W4287322414A5062946528 @default.
- W4287322414 hasAuthorship W4287322414A5074298887 @default.
- W4287322414 hasAuthorship W4287322414A5077357602 @default.
- W4287322414 hasBestOaLocation W42873224141 @default.
- W4287322414 hasConcept C108010975 @default.
- W4287322414 hasConcept C115903868 @default.
- W4287322414 hasConcept C134306372 @default.
- W4287322414 hasConcept C146206909 @default.
- W4287322414 hasConcept C154945302 @default.
- W4287322414 hasConcept C15744967 @default.
- W4287322414 hasConcept C168065819 @default.
- W4287322414 hasConcept C199360897 @default.
- W4287322414 hasConcept C2780586970 @default.
- W4287322414 hasConcept C33923547 @default.
- W4287322414 hasConcept C34165917 @default.
- W4287322414 hasConcept C34388435 @default.
- W4287322414 hasConcept C41008148 @default.
- W4287322414 hasConcept C48044578 @default.
- W4287322414 hasConcept C48103436 @default.
- W4287322414 hasConcept C50033165 @default.
- W4287322414 hasConcept C6557445 @default.
- W4287322414 hasConcept C77088390 @default.
- W4287322414 hasConcept C77805123 @default.
- W4287322414 hasConcept C80444323 @default.
- W4287322414 hasConcept C86803240 @default.
- W4287322414 hasConceptScore W4287322414C108010975 @default.
- W4287322414 hasConceptScore W4287322414C115903868 @default.
- W4287322414 hasConceptScore W4287322414C134306372 @default.
- W4287322414 hasConceptScore W4287322414C146206909 @default.
- W4287322414 hasConceptScore W4287322414C154945302 @default.
- W4287322414 hasConceptScore W4287322414C15744967 @default.
- W4287322414 hasConceptScore W4287322414C168065819 @default.
- W4287322414 hasConceptScore W4287322414C199360897 @default.
- W4287322414 hasConceptScore W4287322414C2780586970 @default.
- W4287322414 hasConceptScore W4287322414C33923547 @default.
- W4287322414 hasConceptScore W4287322414C34165917 @default.
- W4287322414 hasConceptScore W4287322414C34388435 @default.
- W4287322414 hasConceptScore W4287322414C41008148 @default.
- W4287322414 hasConceptScore W4287322414C48044578 @default.
- W4287322414 hasConceptScore W4287322414C48103436 @default.
- W4287322414 hasConceptScore W4287322414C50033165 @default.
- W4287322414 hasConceptScore W4287322414C6557445 @default.
- W4287322414 hasConceptScore W4287322414C77088390 @default.
- W4287322414 hasConceptScore W4287322414C77805123 @default.
- W4287322414 hasConceptScore W4287322414C80444323 @default.
- W4287322414 hasConceptScore W4287322414C86803240 @default.
- W4287322414 hasLocation W42873224141 @default.
- W4287322414 hasLocation W42873224142 @default.
- W4287322414 hasLocation W42873224143 @default.
- W4287322414 hasOpenAccess W4287322414 @default.
- W4287322414 hasPrimaryLocation W42873224141 @default.
- W4287322414 hasRelatedWork W1518443405 @default.
- W4287322414 hasRelatedWork W1578778518 @default.
- W4287322414 hasRelatedWork W1587224678 @default.
- W4287322414 hasRelatedWork W1601811574 @default.
- W4287322414 hasRelatedWork W181842068 @default.
- W4287322414 hasRelatedWork W2135396778 @default.
- W4287322414 hasRelatedWork W2360437063 @default.
- W4287322414 hasRelatedWork W379834542 @default.
- W4287322414 hasRelatedWork W4234604123 @default.
- W4287322414 hasRelatedWork W424338789 @default.
- W4287322414 isParatext "false" @default.
- W4287322414 isRetracted "false" @default.
- W4287322414 workType "article" @default.