Matches in SemOpenAlex for { <https://semopenalex.org/work/W2168850343> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2168850343 abstract "Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usually do not suggest a repair strategy. We present an efficient algorithm to automatically generate a repair for an incorrect sequential Boolean program where program correctness is specified using a pre-condition and a post-condition. Our approach draws on standard techniques from predicate calculus to obtain annotations for the program statements. These annotations are then used to generate a synthesis query for each program statement, which if successful, yields a repair. Furthermore, we show that if a repair exists for a given program under specified conditions, our technique is always able to find it." @default.
- W2168850343 created "2016-06-24" @default.
- W2168850343 creator A5022535511 @default.
- W2168850343 creator A5050507709 @default.
- W2168850343 creator A5057473400 @default.
- W2168850343 date "2008-11-01" @default.
- W2168850343 modified "2023-09-25" @default.
- W2168850343 title "Automatic Generation of Local Repairs for Boolean Programs" @default.
- W2168850343 cites W1511110335 @default.
- W2168850343 cites W1511845115 @default.
- W2168850343 cites W1560374668 @default.
- W2168850343 cites W1560629098 @default.
- W2168850343 cites W1596552075 @default.
- W2168850343 cites W1872701416 @default.
- W2168850343 cites W2034797990 @default.
- W2168850343 cites W2035668577 @default.
- W2168850343 cites W2039065451 @default.
- W2168850343 cites W2080265580 @default.
- W2168850343 cites W2149236697 @default.
- W2168850343 cites W2158870716 @default.
- W2168850343 cites W2162535172 @default.
- W2168850343 cites W3104018748 @default.
- W2168850343 cites W4245234767 @default.
- W2168850343 cites W4251228600 @default.
- W2168850343 doi "https://doi.org/10.1109/fmcad.2008.ecp.31" @default.
- W2168850343 hasPublicationYear "2008" @default.
- W2168850343 type Work @default.
- W2168850343 sameAs 2168850343 @default.
- W2168850343 citedByCount "20" @default.
- W2168850343 countsByYear W21688503432013 @default.
- W2168850343 countsByYear W21688503432014 @default.
- W2168850343 countsByYear W21688503432015 @default.
- W2168850343 countsByYear W21688503432016 @default.
- W2168850343 crossrefType "proceedings-article" @default.
- W2168850343 hasAuthorship W2168850343A5022535511 @default.
- W2168850343 hasAuthorship W2168850343A5050507709 @default.
- W2168850343 hasAuthorship W2168850343A5057473400 @default.
- W2168850343 hasConcept C110251889 @default.
- W2168850343 hasConcept C11413529 @default.
- W2168850343 hasConcept C118615104 @default.
- W2168850343 hasConcept C120665830 @default.
- W2168850343 hasConcept C121332964 @default.
- W2168850343 hasConcept C140146324 @default.
- W2168850343 hasConcept C158465420 @default.
- W2168850343 hasConcept C162838799 @default.
- W2168850343 hasConcept C17744445 @default.
- W2168850343 hasConcept C187455244 @default.
- W2168850343 hasConcept C192209626 @default.
- W2168850343 hasConcept C199360897 @default.
- W2168850343 hasConcept C199539241 @default.
- W2168850343 hasConcept C2777026412 @default.
- W2168850343 hasConcept C2779907942 @default.
- W2168850343 hasConcept C33923547 @default.
- W2168850343 hasConcept C41008148 @default.
- W2168850343 hasConcept C55439883 @default.
- W2168850343 hasConcept C80444323 @default.
- W2168850343 hasConcept C98183937 @default.
- W2168850343 hasConceptScore W2168850343C110251889 @default.
- W2168850343 hasConceptScore W2168850343C11413529 @default.
- W2168850343 hasConceptScore W2168850343C118615104 @default.
- W2168850343 hasConceptScore W2168850343C120665830 @default.
- W2168850343 hasConceptScore W2168850343C121332964 @default.
- W2168850343 hasConceptScore W2168850343C140146324 @default.
- W2168850343 hasConceptScore W2168850343C158465420 @default.
- W2168850343 hasConceptScore W2168850343C162838799 @default.
- W2168850343 hasConceptScore W2168850343C17744445 @default.
- W2168850343 hasConceptScore W2168850343C187455244 @default.
- W2168850343 hasConceptScore W2168850343C192209626 @default.
- W2168850343 hasConceptScore W2168850343C199360897 @default.
- W2168850343 hasConceptScore W2168850343C199539241 @default.
- W2168850343 hasConceptScore W2168850343C2777026412 @default.
- W2168850343 hasConceptScore W2168850343C2779907942 @default.
- W2168850343 hasConceptScore W2168850343C33923547 @default.
- W2168850343 hasConceptScore W2168850343C41008148 @default.
- W2168850343 hasConceptScore W2168850343C55439883 @default.
- W2168850343 hasConceptScore W2168850343C80444323 @default.
- W2168850343 hasConceptScore W2168850343C98183937 @default.
- W2168850343 hasLocation W21688503431 @default.
- W2168850343 hasOpenAccess W2168850343 @default.
- W2168850343 hasPrimaryLocation W21688503431 @default.
- W2168850343 hasRelatedWork W1793594870 @default.
- W2168850343 hasRelatedWork W1804882692 @default.
- W2168850343 hasRelatedWork W2166210994 @default.
- W2168850343 hasRelatedWork W2167301299 @default.
- W2168850343 hasRelatedWork W2168850343 @default.
- W2168850343 hasRelatedWork W2899120827 @default.
- W2168850343 hasRelatedWork W4229576726 @default.
- W2168850343 hasRelatedWork W2490177786 @default.
- W2168850343 hasRelatedWork W2611025373 @default.
- W2168850343 hasRelatedWork W2611182424 @default.
- W2168850343 isParatext "false" @default.
- W2168850343 isRetracted "false" @default.
- W2168850343 magId "2168850343" @default.
- W2168850343 workType "article" @default.