Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017565015> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2017565015 endingPage "99" @default.
- W2017565015 startingPage "84" @default.
- W2017565015 abstract "Counterexample-guided inductive synthesis CEGIS is used to synthesize programs from a candidate space of programs. The technique is guaranteed to terminate and synthesize the correct program if the space of candidate programs is finite. But the technique may or may not terminate with the correct program if the candidate space of programs is infinite. In this paper, we perform a theoretical analysis of counterexample-guided inductive synthesis technique. We investigate whether the set of candidate spaces for which the correct program can be synthesized using CEGIS depends on the counterexamples used in inductive synthesis, that is, whether there are good mistakes which would increase the synthesis power. We investigate whether the use of minimal counterexamples instead of arbitrary counterexamples expands the set of candidate spaces of programs for which inductive synthesis can successfully synthesize a correct program. We consider two kinds of counterexamples: minimal counterexamples and history bounded counterexamples. The history bounded counterexample used in any iteration of CEGIS is bounded by the examples used in previous iterations of inductive synthesis. We examine the relative change in power of inductive synthesis in both cases. We show that the synthesis technique using minimal counterexamples MinCEGIS has the same synthesis power as CEGIS but the synthesis technique using history bounded counterexamples HCEGIS has different power than that of CEGIS, but none dominates the other." @default.
- W2017565015 created "2016-06-24" @default.
- W2017565015 creator A5035902535 @default.
- W2017565015 creator A5064230639 @default.
- W2017565015 date "2014-07-18" @default.
- W2017565015 modified "2023-10-03" @default.
- W2017565015 title "Are There Good Mistakes? A Theoretical Analysis of CEGIS" @default.
- W2017565015 cites W1566918015 @default.
- W2017565015 cites W1894498325 @default.
- W2017565015 cites W1969005071 @default.
- W2017565015 cites W1982381767 @default.
- W2017565015 cites W1993931385 @default.
- W2017565015 cites W2012436850 @default.
- W2017565015 cites W2019001600 @default.
- W2017565015 cites W2024502076 @default.
- W2017565015 cites W2028851440 @default.
- W2017565015 cites W2066789935 @default.
- W2017565015 cites W2078661369 @default.
- W2017565015 cites W2080265580 @default.
- W2017565015 cites W2113352466 @default.
- W2017565015 cites W2120567844 @default.
- W2017565015 cites W2134734244 @default.
- W2017565015 cites W2139709458 @default.
- W2017565015 cites W2149236697 @default.
- W2017565015 cites W2150871888 @default.
- W2017565015 cites W2156530815 @default.
- W2017565015 cites W2160145830 @default.
- W2017565015 cites W2167072515 @default.
- W2017565015 cites W2170275266 @default.
- W2017565015 cites W3006102157 @default.
- W2017565015 cites W4230725619 @default.
- W2017565015 cites W4240339708 @default.
- W2017565015 cites W4242364663 @default.
- W2017565015 doi "https://doi.org/10.4204/eptcs.157.10" @default.
- W2017565015 hasPublicationYear "2014" @default.
- W2017565015 type Work @default.
- W2017565015 sameAs 2017565015 @default.
- W2017565015 citedByCount "7" @default.
- W2017565015 countsByYear W20175650152015 @default.
- W2017565015 countsByYear W20175650152016 @default.
- W2017565015 countsByYear W20175650152017 @default.
- W2017565015 countsByYear W20175650152018 @default.
- W2017565015 crossrefType "journal-article" @default.
- W2017565015 hasAuthorship W2017565015A5035902535 @default.
- W2017565015 hasAuthorship W2017565015A5064230639 @default.
- W2017565015 hasBestOaLocation W20175650151 @default.
- W2017565015 hasConcept C111919701 @default.
- W2017565015 hasConcept C11413529 @default.
- W2017565015 hasConcept C118615104 @default.
- W2017565015 hasConcept C121332964 @default.
- W2017565015 hasConcept C134306372 @default.
- W2017565015 hasConcept C162838799 @default.
- W2017565015 hasConcept C163258240 @default.
- W2017565015 hasConcept C177264268 @default.
- W2017565015 hasConcept C199360897 @default.
- W2017565015 hasConcept C2778572836 @default.
- W2017565015 hasConcept C33923547 @default.
- W2017565015 hasConcept C34388435 @default.
- W2017565015 hasConcept C41008148 @default.
- W2017565015 hasConcept C62520636 @default.
- W2017565015 hasConceptScore W2017565015C111919701 @default.
- W2017565015 hasConceptScore W2017565015C11413529 @default.
- W2017565015 hasConceptScore W2017565015C118615104 @default.
- W2017565015 hasConceptScore W2017565015C121332964 @default.
- W2017565015 hasConceptScore W2017565015C134306372 @default.
- W2017565015 hasConceptScore W2017565015C162838799 @default.
- W2017565015 hasConceptScore W2017565015C163258240 @default.
- W2017565015 hasConceptScore W2017565015C177264268 @default.
- W2017565015 hasConceptScore W2017565015C199360897 @default.
- W2017565015 hasConceptScore W2017565015C2778572836 @default.
- W2017565015 hasConceptScore W2017565015C33923547 @default.
- W2017565015 hasConceptScore W2017565015C34388435 @default.
- W2017565015 hasConceptScore W2017565015C41008148 @default.
- W2017565015 hasConceptScore W2017565015C62520636 @default.
- W2017565015 hasLocation W20175650151 @default.
- W2017565015 hasLocation W20175650152 @default.
- W2017565015 hasOpenAccess W2017565015 @default.
- W2017565015 hasPrimaryLocation W20175650151 @default.
- W2017565015 hasRelatedWork W1597578789 @default.
- W2017565015 hasRelatedWork W1989746243 @default.
- W2017565015 hasRelatedWork W200878617 @default.
- W2017565015 hasRelatedWork W2056396420 @default.
- W2017565015 hasRelatedWork W2153599441 @default.
- W2017565015 hasRelatedWork W2315497597 @default.
- W2017565015 hasRelatedWork W2952531188 @default.
- W2017565015 hasRelatedWork W3189652751 @default.
- W2017565015 hasRelatedWork W4298841586 @default.
- W2017565015 hasRelatedWork W2502180613 @default.
- W2017565015 hasVolume "157" @default.
- W2017565015 isParatext "false" @default.
- W2017565015 isRetracted "false" @default.
- W2017565015 magId "2017565015" @default.
- W2017565015 workType "article" @default.