Matches in SemOpenAlex for { <https://semopenalex.org/work/W3130355461> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3130355461 endingPage "209" @default.
- W3130355461 startingPage "192" @default.
- W3130355461 abstract "Given a portfolio of algorithms, the goal of Algorithm Selection (AS) is to select the best algorithm(s) for a new, unseen problem instance. Dynamic Symbolic Execution (DSE) brings together concrete and symbolic execution to maximise the program coverage. DSE uses a constraint solver to solve the path conditions and generate new inputs to explore. In this paper we join these lines of research by introducing a model that combines DSE and AS approaches. The proposed AS/DSE model is a generic and flexible framework enabling the DSE engine to solve the path conditions it collects with a portfolio of different solvers, by exploiting and extending the well-known AS techniques that have been developed over the last decade. In this way, one can increase the coverage and sometimes even outperform the aggregate coverage achievable by running simultaneously all the solvers of the portfolio." @default.
- W3130355461 created "2021-03-01" @default.
- W3130355461 creator A5014363196 @default.
- W3130355461 creator A5049776257 @default.
- W3130355461 creator A5053873979 @default.
- W3130355461 creator A5064839018 @default.
- W3130355461 creator A5090766093 @default.
- W3130355461 date "2021-01-01" @default.
- W3130355461 modified "2023-09-23" @default.
- W3130355461 title "Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study" @default.
- W3130355461 cites W1480909796 @default.
- W3130355461 cites W1495775210 @default.
- W3130355461 cites W1548806133 @default.
- W3130355461 cites W1550549614 @default.
- W3130355461 cites W1776786831 @default.
- W3130355461 cites W1987647365 @default.
- W3130355461 cites W1988415275 @default.
- W3130355461 cites W2042033151 @default.
- W3130355461 cites W2089213632 @default.
- W3130355461 cites W2094568767 @default.
- W3130355461 cites W2096449544 @default.
- W3130355461 cites W2101307545 @default.
- W3130355461 cites W2101512909 @default.
- W3130355461 cites W2104993088 @default.
- W3130355461 cites W2110311336 @default.
- W3130355461 cites W2136579066 @default.
- W3130355461 cites W2137915473 @default.
- W3130355461 cites W2138788987 @default.
- W3130355461 cites W2144137480 @default.
- W3130355461 cites W2147148915 @default.
- W3130355461 cites W2405799423 @default.
- W3130355461 cites W254881558 @default.
- W3130355461 cites W2559729716 @default.
- W3130355461 cites W2577408049 @default.
- W3130355461 cites W2735438339 @default.
- W3130355461 cites W2789043486 @default.
- W3130355461 cites W2898873842 @default.
- W3130355461 cites W2946774019 @default.
- W3130355461 cites W2964281761 @default.
- W3130355461 cites W32539537 @default.
- W3130355461 cites W4234542549 @default.
- W3130355461 cites W51507023 @default.
- W3130355461 doi "https://doi.org/10.1007/978-3-030-68446-4_10" @default.
- W3130355461 hasPublicationYear "2021" @default.
- W3130355461 type Work @default.
- W3130355461 sameAs 3130355461 @default.
- W3130355461 citedByCount "1" @default.
- W3130355461 countsByYear W31303554612022 @default.
- W3130355461 crossrefType "book-chapter" @default.
- W3130355461 hasAuthorship W3130355461A5014363196 @default.
- W3130355461 hasAuthorship W3130355461A5049776257 @default.
- W3130355461 hasAuthorship W3130355461A5053873979 @default.
- W3130355461 hasAuthorship W3130355461A5064839018 @default.
- W3130355461 hasAuthorship W3130355461A5090766093 @default.
- W3130355461 hasConcept C11171543 @default.
- W3130355461 hasConcept C154945302 @default.
- W3130355461 hasConcept C15744967 @default.
- W3130355461 hasConcept C173608175 @default.
- W3130355461 hasConcept C2776095079 @default.
- W3130355461 hasConcept C41008148 @default.
- W3130355461 hasConcept C81917197 @default.
- W3130355461 hasConceptScore W3130355461C11171543 @default.
- W3130355461 hasConceptScore W3130355461C154945302 @default.
- W3130355461 hasConceptScore W3130355461C15744967 @default.
- W3130355461 hasConceptScore W3130355461C173608175 @default.
- W3130355461 hasConceptScore W3130355461C2776095079 @default.
- W3130355461 hasConceptScore W3130355461C41008148 @default.
- W3130355461 hasConceptScore W3130355461C81917197 @default.
- W3130355461 hasLocation W31303554611 @default.
- W3130355461 hasOpenAccess W3130355461 @default.
- W3130355461 hasPrimaryLocation W31303554611 @default.
- W3130355461 hasRelatedWork W1491899005 @default.
- W3130355461 hasRelatedWork W1502414128 @default.
- W3130355461 hasRelatedWork W1509211761 @default.
- W3130355461 hasRelatedWork W1558545464 @default.
- W3130355461 hasRelatedWork W1604898313 @default.
- W3130355461 hasRelatedWork W1984303163 @default.
- W3130355461 hasRelatedWork W2117014006 @default.
- W3130355461 hasRelatedWork W2172791042 @default.
- W3130355461 hasRelatedWork W2372170743 @default.
- W3130355461 hasRelatedWork W4233815414 @default.
- W3130355461 isParatext "false" @default.
- W3130355461 isRetracted "false" @default.
- W3130355461 magId "3130355461" @default.
- W3130355461 workType "book-chapter" @default.