E-LIB Suche - Ergebnisse für: Rigger, Manuel

1

Tenth International Workshop on Testing Database Systems (D..:

, In: Companion of the 2024 International Conference on Management of Data,

Gruenheid, Anja ; Rigger, Manuel - p. 665-666 , 2024

Link: https://dl.acm.org/doi/1..

2

Detecting Logic Bugs in Graph Database Management Systems v..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),

Jiang, Yuancheng ; Liu, Jiahao ; Ba, Jinsheng... - p. 542-553 , 2024

Link: https://doi.org/10.1145/..

3

CERT: Finding Performance Issues in Database Systems Throug..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Ba, Jinsheng ; Rigger, Manuel - p. 1-13 , 2024

Link: https://dl.acm.org/doi/1..

4

Finding XPath Bugs in XML Document Processors via Different..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Li, Shuxin ; Rigger, Manuel - p. 1-12 , 2024

Link: https://dl.acm.org/doi/1..

5

Validating Database System Isolation Level Implementations ..:

, In: Proceedings of the Nineteenth European Conference on Computer Systems,

Clark, Jack ; Donaldson, Alastair F. ; Wickerson, John. - p. 754-768 , 2024

Link: https://dl.acm.org/doi/1..

6

Detecting Logic Bugs in Graph Database Management Systems v..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Jiang, Yuancheng ; Liu, Jiahao ; Ba, Jinsheng... - p. 1-12 , 2024

Link: https://dl.acm.org/doi/1..

7

Finding Cross-Rule Optimization Bugs in Datalog Engines:

Zhang, Chi ; Wang, Linzhang ; Rigger, Manuel
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 110-136 , 2024

Link: https://doi.org/10.1145/..

8

Testing Graph Database Engines via Query Partitioning:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,

Kamm, Matteo ; Rigger, Manuel ; Zhang, Chengyu. - p. 140-149 , 2023

Link: https://dl.acm.org/doi/1..

9

Testing Database Engines via Query Plan Guidance:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE),

Ba, Jinsheng ; Rigger, Manuel - p. 2060-2071 , 2023

Link: https://doi.org/10.1109/..

10

Automatically Testing Database Systems: DBMS testing with t..:

Alvaro, Peter ; Rigger, Manuel
Queue. 21 (2023) 6 - p. 128-135 , 2023

Link: https://doi.org/10.1145/..

11

Proceedings of the 2022 workshop on 9th International Works..:

Rigger, Manuel ; Tözün, Pınar , 2022

Link: https://dl.acm.org/doi/1..

12

Forest: Structural Code Editing with Multiple Cursors:

, In: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Voinov, Philippe ; Rigger, Manuel ; Su, Zhendong - p. 137-152 , 2022

Link: https://dl.acm.org/doi/1..

13

Report from Dagstuhl Seminar 21442: Ensuring the Reliabilit..:

Rigger, Manuel ; Böhm, Alexander ; Christakis, Maria.
Datenbank-Spektrum. 22 (2022) 3 - p. 261-263 , 2022

Link: https://doi.org/10.1007/..

14

Intramorphic Testing: A New Approach to the Test Oracle Pro..:

, In: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Rigger, Manuel ; Su, Zhendong - p. 128-136 , 2022

Link: https://dl.acm.org/doi/1..

15

Finding missed optimizations through the lens of dead code ..:

, In: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

Theodoridis, Theodoros ; Rigger, Manuel ; Su, Zhendong - p. 697-709 , 2022

Link: https://dl.acm.org/doi/1..