Matches in SemOpenAlex for { <https://semopenalex.org/work/W2144540268> ?p ?o ?g. }
- W2144540268 endingPage "50" @default.
- W2144540268 startingPage "26" @default.
- W2144540268 abstract "We present a new and flexible approach to repair reactive programs with respect to a specification. The specification is given in linear-temporal logic. Like in previous approaches, we aim for a repaired program that satisfies the specification and is syntactically close to the faulty program. The novelty of our approach is that it produces a program that is also semantically close to the original program by enforcing that a subset of the original traces is preserved. Intuitively, the faulty program is considered to be a part of the specification, which enables us to synthesize meaningful repairs, even for incomplete specifications. Our approach is based on synthesizing a program with a set of behaviors that stay within a lower and an upper bound. We provide an algorithm to decide if a program is repairable with respect to our new notion, and synthesize a repair if one exists. We analyze several ways to choose the set of traces to leave intact and show the boundaries they impose on repairability. We also discuss alternative notions based on reward models to obtain repair systems that behave similar to the original system. We have evaluated the approach on several examples." @default.
- W2144540268 created "2016-06-24" @default.
- W2144540268 creator A5076775867 @default.
- W2144540268 creator A5077741039 @default.
- W2144540268 date "2015-02-24" @default.
- W2144540268 modified "2023-10-03" @default.
- W2144540268 title "Program repair without regret" @default.
- W2144540268 cites W1521551618 @default.
- W2144540268 cites W1523041988 @default.
- W2144540268 cites W1528149868 @default.
- W2144540268 cites W1593428110 @default.
- W2144540268 cites W1791573659 @default.
- W2144540268 cites W1872701416 @default.
- W2144540268 cites W1927382928 @default.
- W2144540268 cites W1975458495 @default.
- W2144540268 cites W1983791345 @default.
- W2144540268 cites W1993529189 @default.
- W2144540268 cites W2016206563 @default.
- W2144540268 cites W2023808162 @default.
- W2144540268 cites W2024958639 @default.
- W2144540268 cites W202802469 @default.
- W2144540268 cites W2031592188 @default.
- W2144540268 cites W2034797990 @default.
- W2144540268 cites W2035171786 @default.
- W2144540268 cites W2035668577 @default.
- W2144540268 cites W2042813319 @default.
- W2144540268 cites W2090398333 @default.
- W2144540268 cites W2094878426 @default.
- W2144540268 cites W2100112273 @default.
- W2144540268 cites W2107552120 @default.
- W2144540268 cites W2122735631 @default.
- W2144540268 cites W2158870716 @default.
- W2144540268 cites W2165726630 @default.
- W2144540268 cites W2168850343 @default.
- W2144540268 cites W2170224888 @default.
- W2144540268 cites W2296178404 @default.
- W2144540268 cites W2334782222 @default.
- W2144540268 cites W2914665807 @default.
- W2144540268 cites W2952908521 @default.
- W2144540268 cites W3152004042 @default.
- W2144540268 cites W4212901716 @default.
- W2144540268 cites W4241947695 @default.
- W2144540268 cites W69261358 @default.
- W2144540268 doi "https://doi.org/10.1007/s10703-015-0223-6" @default.
- W2144540268 hasPublicationYear "2015" @default.
- W2144540268 type Work @default.
- W2144540268 sameAs 2144540268 @default.
- W2144540268 citedByCount "13" @default.
- W2144540268 countsByYear W21445402682016 @default.
- W2144540268 countsByYear W21445402682017 @default.
- W2144540268 countsByYear W21445402682018 @default.
- W2144540268 countsByYear W21445402682019 @default.
- W2144540268 countsByYear W21445402682020 @default.
- W2144540268 countsByYear W21445402682021 @default.
- W2144540268 countsByYear W21445402682022 @default.
- W2144540268 countsByYear W21445402682023 @default.
- W2144540268 crossrefType "journal-article" @default.
- W2144540268 hasAuthorship W2144540268A5076775867 @default.
- W2144540268 hasAuthorship W2144540268A5077741039 @default.
- W2144540268 hasBestOaLocation W21445402682 @default.
- W2144540268 hasConcept C11413529 @default.
- W2144540268 hasConcept C119857082 @default.
- W2144540268 hasConcept C134306372 @default.
- W2144540268 hasConcept C138885662 @default.
- W2144540268 hasConcept C177264268 @default.
- W2144540268 hasConcept C199360897 @default.
- W2144540268 hasConcept C25016198 @default.
- W2144540268 hasConcept C27206212 @default.
- W2144540268 hasConcept C2776937632 @default.
- W2144540268 hasConcept C2778738651 @default.
- W2144540268 hasConcept C33923547 @default.
- W2144540268 hasConcept C41008148 @default.
- W2144540268 hasConcept C50817715 @default.
- W2144540268 hasConcept C77553402 @default.
- W2144540268 hasConcept C80444323 @default.
- W2144540268 hasConceptScore W2144540268C11413529 @default.
- W2144540268 hasConceptScore W2144540268C119857082 @default.
- W2144540268 hasConceptScore W2144540268C134306372 @default.
- W2144540268 hasConceptScore W2144540268C138885662 @default.
- W2144540268 hasConceptScore W2144540268C177264268 @default.
- W2144540268 hasConceptScore W2144540268C199360897 @default.
- W2144540268 hasConceptScore W2144540268C25016198 @default.
- W2144540268 hasConceptScore W2144540268C27206212 @default.
- W2144540268 hasConceptScore W2144540268C2776937632 @default.
- W2144540268 hasConceptScore W2144540268C2778738651 @default.
- W2144540268 hasConceptScore W2144540268C33923547 @default.
- W2144540268 hasConceptScore W2144540268C41008148 @default.
- W2144540268 hasConceptScore W2144540268C50817715 @default.
- W2144540268 hasConceptScore W2144540268C77553402 @default.
- W2144540268 hasConceptScore W2144540268C80444323 @default.
- W2144540268 hasIssue "1" @default.
- W2144540268 hasLocation W21445402681 @default.
- W2144540268 hasLocation W21445402682 @default.
- W2144540268 hasLocation W21445402683 @default.
- W2144540268 hasOpenAccess W2144540268 @default.
- W2144540268 hasPrimaryLocation W21445402681 @default.
- W2144540268 hasRelatedWork W1527862632 @default.
- W2144540268 hasRelatedWork W2070369873 @default.