Testing Database Management Systems via Pivoted...

October 18, 2019

110

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

Manuel Rigger

October 18, 2019

Transcript

121 slides

More Decks by Manuel Rigger

See All by Manuel Rigger

Intramorphic Testing: A New Approach to the Test Oracle Problem

0

380

Long presentation for "Testing Database Engines via Pivoted Query Synthesis" at OSDI '20

0

490

Short presentation for "Testing Database Engines via Pivoted Query Synthesis" at OSDI '20

0

350

Teaser for "Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction" at ESEC/FSE '20

0

260

"Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction" at ESEC/FSE '20

0

310

"Finding Bugs in Database Systems via Query Partitioning" at OOPSLA '20

0

550

Understanding GCC Builtins to Develop Better Tools

2

720

Sulong: Executing Low-level Languages on Truffle

0

340

Safe and Efficient Execution of LLVM-based Languages on the Java Virtual Machine

0

280

Featured

See All Featured

Building the Perfect Custom Keyboard

2

950

How To Speak Unicorn (iThemes Webinar)

1

630

State of Search Keynote: SEO is Dead Long Live SEO

0

350

Between Models and Reality

4

570

DBのスキルで生き残る技術 - AI時代におけるテーブル設計の勘所

PRO

68

60k

The Web Performance Landscape in 2024 [PerfNow 2024]

12

1.4k

Test your architecture with Archunit

2

2.5k

Balancing Empowerment & Direction

6

1.4k

The Pragmatic Product Professional

37

7.5k

Leveraging Curiosity to Care for An Aging Population

1

560

Being A Developer After 40

PRO

92

590k

Digital Ethics as a Driver of Design Innovation

PRO

2

520