CLOTHO: directed test generation for weakly consistent database systems

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 concurren...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages 2019-10, Vol.3 (OOPSLA), p.1-28
Hauptverfasser:	Rahmani, Kia, Nagar, Kartik, Delaware, Benjamin, Jagannathan, Suresh
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!