-
Notifications
You must be signed in to change notification settings - Fork 7
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'main' of https://github.com/nus-test/nus-test.github.io …
…into main
- Loading branch information
Showing
1 changed file
with
69 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,69 @@ | ||
--- | ||
title: "Automated test case reduction in query specific language(s)" | ||
|
||
event: Weekly Talk | ||
event_url: | ||
|
||
location: COM3-02-59 - Meeting Rm 20 | ||
address: | ||
street: | ||
city: | ||
region: | ||
postcode: | ||
country: Singapore | ||
|
||
summary: | ||
abstract: "Database testing tools like SQLsmith and SQLancer generate lengthy test cases to identify several categories of database bugs. While these tools are effective in identifying issues, usually the resulting test is large and complex, making it difficult to debug. Over the years, several methods have been proposed, with delta debugging being one of the traditional approaches. Though widely used for reducing test cases in imperative languages it may not be optimal for SQL, where statements can be executed independently and provide additional information about those individual statements, like their execution time. | ||
In this study, we present enhanced approaches to delta debugging, specifically tailored to leverage the execution times of SQL statements to guide the reduction process. We introduce two strategies: block time analysis, which considers the collective execution time of statement groups, and individual time analysis, which estimates and uses per-statement timing information. And two simplified approaches based on percentage removal which aims to be a preprocessing step to delta debugging rather than an alternative to it. All of these methods seek to increase the convergence toward minimal bug-reproducing test cases by prioritizing the removal of time-intensive statements. | ||
The study provides a view into various variations of delta debugging with timing context integrated into it. It also provides insight into which of the methods works well and which of the strategies fails to match the efficiency and effectiveness of delta debugging." | ||
|
||
# Talk start and end times. | ||
# End time can optionally be hidden by prefixing the line with `#`. | ||
date: "2024-11-12T15:00:00Z" | ||
date_end: "2024-11-12T16:00:00Z" | ||
all_day: false | ||
|
||
# Schedule page publish date (NOT talk date). | ||
publishDate: "2017-01-01T00:00:00Z" | ||
|
||
authors: [Mehtab Zafar] | ||
tags: [Weekly Talk] | ||
|
||
# Is this a featured talk? (true/false) | ||
featured: false | ||
|
||
image: | ||
caption: 'Image credit: [**Unsplash**](https://unsplash.com/photos/bzdhc5b3Bxs)' | ||
focal_point: Right | ||
|
||
url_code: "" | ||
url_pdf: "" | ||
url_slides: "" | ||
url_video: "" | ||
|
||
# Markdown Slides (optional). | ||
# Associate this talk with Markdown slides. | ||
# Simply enter your slide deck's filename without extension. | ||
# E.g. `slides = "example-slides"` references `content/slides/example-slides.md`. | ||
# Otherwise, set `slides = ""`. | ||
slides: | ||
|
||
# Projects (optional). | ||
# Associate this post with one or more of your projects. | ||
# Simply enter your project's folder or file name without extension. | ||
# E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`. | ||
# Otherwise, set `projects = []`. | ||
projects: | ||
|
||
# Slides can be added in a few ways: | ||
# | ||
# - **Create** slides using Wowchemy's [*Slides*](https://wowchemy.com/docs/managing-content/#create-slides) feature and link using `slides` parameter in the front matter of the talk file | ||
# - **Upload** an existing slide deck to `static/` and link using `url_slides` parameter in the front matter of the talk file | ||
# - **Embed** your slides (e.g. Google Slides) or presentation video on this page using [shortcodes](https://wowchemy.com/docs/writing-markdown-latex/). | ||
# | ||
# Further event details, including page elements such as image galleries, can be added to the body of this page. | ||
|
||
|
||
--- |