Matches in SemOpenAlex for { <https://semopenalex.org/work/W2600904501> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2600904501 abstract "The failures that bugs in software lead to can sometimes be bypassed by the so called workarounds: when a faulty routine fails, alternative routines that the system offers can be used in place of the failing one, to circumvent the failure. Previous works have exploited this workarounds notion to automatically recover from runtime failures in some application domains. However, existing approaches that compute workarounds automatically either require the user to manually build an abstract model of the software under consideration, or to provide equivalent sequences of operations from which workarounds are computed, diminishing the automation of workaround-based system recovery.In this paper, we present two techniques that automatically compute workarounds from Java code equipped with formal specifications, avoiding abstract software models and user provided equivalences. These techniques employ SAT solving to compute workarounds on concrete program state characterizations. The first employs SAT solving to compute traditional workarounds, while the second directly exploits SAT solving to circumvent a failing method, building a state that mimics the correct behaviour of this failing routine. Our experiments, based on case studies involving implementations of collections and a library for date arithmetic, enable us to show that the techniques can effectively compute workarounds from complex contracts in an important number of cases, in time that makes them feasible to be used for run time repairs." @default.
- W2600904501 created "2017-04-07" @default.
- W2600904501 creator A5016401353 @default.
- W2600904501 creator A5035707440 @default.
- W2600904501 creator A5071135395 @default.
- W2600904501 creator A5074298887 @default.
- W2600904501 date "2017-01-01" @default.
- W2600904501 modified "2023-10-08" @default.
- W2600904501 title "Automated Workarounds from Java Program Specifications Based on SAT Solving" @default.
- W2600904501 cites W1502752511 @default.
- W2600904501 cites W1596061562 @default.
- W2600904501 cites W1923648912 @default.
- W2600904501 cites W1976484136 @default.
- W2600904501 cites W1978679823 @default.
- W2600904501 cites W1988537734 @default.
- W2600904501 cites W1997932892 @default.
- W2600904501 cites W2007777090 @default.
- W2600904501 cites W2012997183 @default.
- W2600904501 cites W2052602498 @default.
- W2600904501 cites W2061575154 @default.
- W2600904501 cites W2101244414 @default.
- W2600904501 cites W2107709519 @default.
- W2600904501 cites W2112986562 @default.
- W2600904501 cites W2116874327 @default.
- W2600904501 cites W2122947685 @default.
- W2600904501 cites W2139555094 @default.
- W2600904501 cites W2151497118 @default.
- W2600904501 cites W2153881107 @default.
- W2600904501 cites W2154600612 @default.
- W2600904501 cites W2166768964 @default.
- W2600904501 cites W4250863065 @default.
- W2600904501 cites W4251854468 @default.
- W2600904501 cites W4254753190 @default.
- W2600904501 cites W4255632703 @default.
- W2600904501 cites W6188780 @default.
- W2600904501 doi "https://doi.org/10.1007/978-3-662-54494-5_20" @default.
- W2600904501 hasPublicationYear "2017" @default.
- W2600904501 type Work @default.
- W2600904501 sameAs 2600904501 @default.
- W2600904501 citedByCount "0" @default.
- W2600904501 crossrefType "book-chapter" @default.
- W2600904501 hasAuthorship W2600904501A5016401353 @default.
- W2600904501 hasAuthorship W2600904501A5035707440 @default.
- W2600904501 hasAuthorship W2600904501A5071135395 @default.
- W2600904501 hasAuthorship W2600904501A5074298887 @default.
- W2600904501 hasBestOaLocation W26009045012 @default.
- W2600904501 hasConcept C115903868 @default.
- W2600904501 hasConcept C194541083 @default.
- W2600904501 hasConcept C199360897 @default.
- W2600904501 hasConcept C26713055 @default.
- W2600904501 hasConcept C2777904410 @default.
- W2600904501 hasConcept C41008148 @default.
- W2600904501 hasConcept C548217200 @default.
- W2600904501 hasConceptScore W2600904501C115903868 @default.
- W2600904501 hasConceptScore W2600904501C194541083 @default.
- W2600904501 hasConceptScore W2600904501C199360897 @default.
- W2600904501 hasConceptScore W2600904501C26713055 @default.
- W2600904501 hasConceptScore W2600904501C2777904410 @default.
- W2600904501 hasConceptScore W2600904501C41008148 @default.
- W2600904501 hasConceptScore W2600904501C548217200 @default.
- W2600904501 hasLocation W26009045011 @default.
- W2600904501 hasLocation W26009045012 @default.
- W2600904501 hasOpenAccess W2600904501 @default.
- W2600904501 hasPrimaryLocation W26009045011 @default.
- W2600904501 hasRelatedWork W101476423 @default.
- W2600904501 hasRelatedWork W147030153 @default.
- W2600904501 hasRelatedWork W1517261143 @default.
- W2600904501 hasRelatedWork W2018190521 @default.
- W2600904501 hasRelatedWork W2026575038 @default.
- W2600904501 hasRelatedWork W2063644419 @default.
- W2600904501 hasRelatedWork W2096220441 @default.
- W2600904501 hasRelatedWork W2106043799 @default.
- W2600904501 hasRelatedWork W2117158482 @default.
- W2600904501 hasRelatedWork W2294453596 @default.
- W2600904501 hasRelatedWork W2522140787 @default.
- W2600904501 hasRelatedWork W2529805005 @default.
- W2600904501 hasRelatedWork W2767431443 @default.
- W2600904501 hasRelatedWork W2795338679 @default.
- W2600904501 hasRelatedWork W2902440776 @default.
- W2600904501 hasRelatedWork W2981403379 @default.
- W2600904501 hasRelatedWork W3004297500 @default.
- W2600904501 hasRelatedWork W3080508173 @default.
- W2600904501 hasRelatedWork W3117766477 @default.
- W2600904501 hasRelatedWork W6188780 @default.
- W2600904501 isParatext "false" @default.
- W2600904501 isRetracted "false" @default.
- W2600904501 magId "2600904501" @default.
- W2600904501 workType "book-chapter" @default.