Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Testing Database Management Systems via Pivoted...

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
Avatar for Manuel Rigger Manuel Rigger
October 18, 2019
0
78

Testing Database Management Systems via Pivoted Query Synthesis

Presentation held at the Workshop on Dependable and Secure Software Systems 2019. https://www.sri.inf.ethz.ch/workshop2019

Avatar for Manuel Rigger

Manuel Rigger

October 18, 2019
Tweet

More Decks by Manuel Rigger

See All by Manuel Rigger
Intramorphic Testing: A New Approach to the Test Oracle Problem
Avatar for Manuel Rigger mrigger
0
250
Long presentation for "Testing Database Engines via Pivoted Query Synthesis" at OSDI '20
Avatar for Manuel Rigger mrigger
0
390
Short presentation for "Testing Database Engines via Pivoted Query Synthesis" at OSDI '20
Avatar for Manuel Rigger mrigger
0
270
Teaser for "Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction" at ESEC/FSE '20
Avatar for Manuel Rigger mrigger
0
190
"Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction" at ESEC/FSE '20
Avatar for Manuel Rigger mrigger
0
240
"Finding Bugs in Database Systems via Query Partitioning" at OOPSLA '20
Avatar for Manuel Rigger mrigger
0
450
Understanding GCC Builtins to Develop Better Tools
Avatar for Manuel Rigger mrigger
2
630
Sulong: Executing Low-level Languages on Truffle
Avatar for Manuel Rigger mrigger
0
270
Safe and Efficient Execution of LLVM-based Languages on the Java Virtual Machine
Avatar for Manuel Rigger mrigger
0
210

Featured

See All Featured
Into the Great Unknown - MozCon
Avatar for Noah Learner thekraken
40
2.3k
The Cost Of JavaScript in 2023
Avatar for Addy Osmani addyosmani
55
9.5k
What’s in a name? Adding method to the madness
Avatar for The Alliance productmarketing
PRO
24
3.9k
Testing 201, or: Great Expectations
Avatar for Joseph Mastey jmmastey
46
8k
Design in an AI World
Avatar for tapps tapps
0
140
Evolving SEO for Evolving Search Engines
Avatar for Ryan Jones ryanjones
0
130
Leading Effective Engineering Teams in the AI Era
Avatar for Addy Osmani addyosmani
9
1.6k
Being A Developer After 40
Avatar for Adrian Kosmaczewski akosma
91
590k
Making the Leap to Tech Lead
Avatar for Ryan Cromwell cromwellryan
135
9.7k
Tell your own story through comics
Avatar for letsgokoyo letsgokoyo
1
810
Deep Space Network (abreviated)
Avatar for Tony Rice tonyrice
0
49
Getting science done with accelerated Python computing platforms
Avatar for Jacob Tomlinson jacobtomlinson
2
120

Transcript

  1. None
  2. None
  3. None
  4. None
  5. None
  6. None
  7. None
  8. None
  9. None
  10. None
  11. None
  12. None
  13. None
  14. None
  15. None
  16. None
  17. None
  18. None
  19. None
  20. None
  21. None
  22. None
  23. None
  24. None
  25. None
  26. None
  27. None
  28. None
  29. None
  30. None
  31. None
  32. None
  33. None
  34. None
  35. None
  36. None
  37. None
  38. None
  39. None
  40. None
  41. None
  42. None
  43. None
  44. None
  45. None
  46. None
  47. None
  48. None
  49. None
  50. None
  51. None
  52. None
  53. None
  54. None
  55. None
  56. None
  57. None
  58. None
  59. None
  60. None
  61. None
  62. None
  63. None
  64. None
  65. None
  66. None
  67. None
  68. None
  69. None
  70. None
  71. None
  72. None
  73. None
  74. None
  75. None
  76. None
  77. None
  78. None
  79. None
  80. None
  81. None
  82. None
  83. None
  84. None
  85. None
  86. None
  87. None
  88. None
  89. None
  90. None
  91. None
  92. None
  93. None
  94. None
  95. None
  96. None
  97. None
  98. None
  99. None
  100. None
  101. None
  102. None
  103. None
  104. None
  105. None
  106. None
  107. None
  108. None
  109. None
  110. None
  111. None
  112. None
  113. None
  114. None
  115. None
  116. None
  117. None
  118. None
  119. None
  120. None
  121. None