Matches in SemOpenAlex for { <https://semopenalex.org/work/W2968771279> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2968771279 abstract "Relational database applications are notoriously difficult to test and debug. Concurrent execution of database transactions may violate complex structural invariants that constraint how changes to the contents of one (shared) table affect the contents of another. Simplifying the underlying concurrency model is one way to ameliorate the difficulty of understanding how concurrent accesses and updates can affect database state with respect to these sophisticated properties. Enforcing serializable execution of all transactions achieves this simplification, but it comes at a significant price in performance, especially at scale, where database state is often replicated to improve latency and availability. To address these challenges, this paper presents a novel testing framework for detecting serializability violations in (SQL) database-backed Java applications executing on weakly-consistent storage systems. We manifest our approach in a tool named CLOTHO, that combines a static analyzer and a model checker to generate abstract executions, discover serializability violations in these executions, and translate them back into concrete test inputs suitable for deployment in a test environment. To the best of our knowledge, CLOTHO is the first automated test generation facility for identifying serializability anomalies of Java applications intended to operate in geo-replicated distributed environments. An experimental evaluation on a set of industry-standard benchmarks demonstrates the utility of our approach." @default.
- W2968771279 created "2019-08-22" @default.
- W2968771279 creator A5034957233 @default.
- W2968771279 creator A5046570178 @default.
- W2968771279 creator A5059377070 @default.
- W2968771279 creator A5073767542 @default.
- W2968771279 date "2019-08-15" @default.
- W2968771279 modified "2023-09-27" @default.
- W2968771279 title "CLOTHO: Directed Test Generation for Weakly Consistent Database Systems." @default.
- W2968771279 cites W193566757 @default.
- W2968771279 cites W2023304911 @default.
- W2968771279 cites W2101027550 @default.
- W2968771279 cites W2111759889 @default.
- W2968771279 cites W2119887456 @default.
- W2968771279 cites W2127428602 @default.
- W2968771279 cites W2138536231 @default.
- W2968771279 cites W2169611673 @default.
- W2968771279 cites W2209943643 @default.
- W2968771279 cites W2240667924 @default.
- W2968771279 cites W2567103853 @default.
- W2968771279 cites W2592053473 @default.
- W2968771279 cites W2615455309 @default.
- W2968771279 hasPublicationYear "2019" @default.
- W2968771279 type Work @default.
- W2968771279 sameAs 2968771279 @default.
- W2968771279 citedByCount "0" @default.
- W2968771279 crossrefType "posted-content" @default.
- W2968771279 hasAuthorship W2968771279A5034957233 @default.
- W2968771279 hasAuthorship W2968771279A5046570178 @default.
- W2968771279 hasAuthorship W2968771279A5059377070 @default.
- W2968771279 hasAuthorship W2968771279A5073767542 @default.
- W2968771279 hasConcept C120314980 @default.
- W2968771279 hasConcept C168065819 @default.
- W2968771279 hasConcept C191558696 @default.
- W2968771279 hasConcept C193702766 @default.
- W2968771279 hasConcept C199360897 @default.
- W2968771279 hasConcept C25185021 @default.
- W2968771279 hasConcept C41008148 @default.
- W2968771279 hasConcept C510870499 @default.
- W2968771279 hasConcept C548217200 @default.
- W2968771279 hasConcept C72108876 @default.
- W2968771279 hasConcept C75949130 @default.
- W2968771279 hasConcept C77088390 @default.
- W2968771279 hasConceptScore W2968771279C120314980 @default.
- W2968771279 hasConceptScore W2968771279C168065819 @default.
- W2968771279 hasConceptScore W2968771279C191558696 @default.
- W2968771279 hasConceptScore W2968771279C193702766 @default.
- W2968771279 hasConceptScore W2968771279C199360897 @default.
- W2968771279 hasConceptScore W2968771279C25185021 @default.
- W2968771279 hasConceptScore W2968771279C41008148 @default.
- W2968771279 hasConceptScore W2968771279C510870499 @default.
- W2968771279 hasConceptScore W2968771279C548217200 @default.
- W2968771279 hasConceptScore W2968771279C72108876 @default.
- W2968771279 hasConceptScore W2968771279C75949130 @default.
- W2968771279 hasConceptScore W2968771279C77088390 @default.
- W2968771279 hasLocation W29687712791 @default.
- W2968771279 hasOpenAccess W2968771279 @default.
- W2968771279 hasPrimaryLocation W29687712791 @default.
- W2968771279 hasRelatedWork W131227365 @default.
- W2968771279 hasRelatedWork W1565708776 @default.
- W2968771279 hasRelatedWork W1600346672 @default.
- W2968771279 hasRelatedWork W1936754123 @default.
- W2968771279 hasRelatedWork W1968574122 @default.
- W2968771279 hasRelatedWork W2031374177 @default.
- W2968771279 hasRelatedWork W2037438990 @default.
- W2968771279 hasRelatedWork W2082840902 @default.
- W2968771279 hasRelatedWork W2147874879 @default.
- W2968771279 hasRelatedWork W2167868416 @default.
- W2968771279 hasRelatedWork W2438921057 @default.
- W2968771279 hasRelatedWork W2898836676 @default.
- W2968771279 hasRelatedWork W2945152208 @default.
- W2968771279 hasRelatedWork W2970687913 @default.
- W2968771279 hasRelatedWork W2979656637 @default.
- W2968771279 hasRelatedWork W3166592062 @default.
- W2968771279 hasRelatedWork W656463183 @default.
- W2968771279 hasRelatedWork W66150051 @default.
- W2968771279 hasRelatedWork W749536282 @default.
- W2968771279 hasRelatedWork W2186354629 @default.
- W2968771279 isParatext "false" @default.
- W2968771279 isRetracted "false" @default.
- W2968771279 magId "2968771279" @default.
- W2968771279 workType "article" @default.