Create 231106.md

content/event/231106.md

@@ -0,0 +1,61 @@
+---
+title: Improving Reliability of JDBC Drivers
+
+event: Weekly Talk
+event_url: 
+
+location: NUS SoC
+address:
+  street: 
+  city: 
+  region: 
+  postcode:
+  country: Singapore
+
+summary: 
+abstract: "Java Database Connectivity (JDBC) drivers are software components that enable Java applications to interact with relational database systems. The numerous APIs potentially introduce significant complexity and might make JDBC drivers prone to bugs. This study holds importance as JDBC drivers have been widely used in Java applications, the reliability of JDBC drivers have large impact on the security of those applications. 
+We propose an automated testing approach based on a state-machine model, enabling the automatic generation of test cases specifically designed to differentially test various JDBC drivers. Thus, the key conceptual challenge was to tackle the so-called test oracle and test-case generation problems. The test oracle problem is the challenge of determining the correct outcome or expected result for a given test case, while the test generation problem involves creating effective test cases to thoroughly exercise a system or software.
+The primary findings of this research effort include the discovery of two bugs within the DuckDB JDBC driver, which were subsequently verified and confirmed by the developers. Additionally, the study has unearthed several previously unnoticed discrepancies in the behaviors exhibited by various JDBC drivers. Overall, this dissertation introduces a pragmatic approach to testing JDBC drivers, which can help identify and address critical issues in these drivers. This research contributes to the quest for dependable database connectivity within Java applications."
+date: "2023-11-06T13:00:00Z"
+date_end: "2023-11-06T14:00:00Z"
+all_day: false
+
+authors: [Anxing Zhang]
+tags: [group meeting]
+
+# 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.
+
+
+---