Upgrade to Pro — share decks privately, control downloads, hide ads and more …
Sign up for free

Generating database schema test suites with DOMINO

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
Avatar for Gregory Kapfhammer Gregory Kapfhammer
April 01, 2018
Research
460
0

Generating database schema test suites with DOMINO

Interested in learning more about this topics? Visit this web site to read the paper: https://www.gregorykapfhammer.com/research/papers/Alsharif2018a/

Avatar for Gregory Kapfhammer

Gregory Kapfhammer

April 01, 2018

More Decks by Gregory Kapfhammer

See All by Gregory Kapfhammer
Don't blame the type checker: Finding who Is right when Python type checkers disagree
Avatar for Gregory Kapfhammer gkapfham
0
7
Testing the parts you don’t see: Pseudo-tested native code in Python libraries
Avatar for Gregory Kapfhammer gkapfham
0
9
Chasten Your Python Program: Configurable Program Analysis and Linting with XPath
Avatar for Gregory Kapfhammer gkapfham
0
79
ExecExam: Streaming Python assessments with automation and personalized feedback
Avatar for Gregory Kapfhammer gkapfham
0
90
Automated and configurable programming project checking with Chasten
Avatar for Gregory Kapfhammer gkapfham
0
87
Up and running with GitHub, GitHub Classroom, and GitHub Actions
Avatar for Gregory Kapfhammer gkapfham
0
77
ExecExam: A tool to facilitate effective executable examinations in Python
Avatar for Gregory Kapfhammer gkapfham
0
82
Building and deploying course websites with Python, Quarto, and Mkdocs
Avatar for Gregory Kapfhammer gkapfham
0
140
Exploring pseudo-testedness: Empirically evaluating extreme mutation testing at the statement level
Avatar for Gregory Kapfhammer gkapfham
0
110

Other Decks in Research

See All in Research
JPA2026_NetworkTutorial_JunKashihara
Avatar for JunKashihara junkashihara
0
230
GeoAgent勉強会 論文紹介と強い推論モデルが与えるインパクト
Avatar for SatAI.challenge satai
5
300
Santé et fertilité des sols : ce que nous disent les pratiques dans les systèmes de polyculture-élevage
Avatar for Idele institutdelelevage
PRO
0
120
高性能計算機クラスタを用いた大規模点群処理による森林の単木抽出と構造解析
Avatar for Kenta Itakura kentaitakura
1
150
Kaggle｜AI Agent Security — しくじり先生、俺みたいになるな
Avatar for pomcho555 pomcho555
1
120
20260624 NLP colloquium: 単一のhubテキストがCLIPを壊す：hubnessによる埋め込みの脆弱性特定
Avatar for Hiroyuki Deguchi de9uch1
2
290
GLIM とMegaParticles：正規分布近似の限界とタイトカップリング＆パーティクルフィルタの進展 / GLIM and MegaParticles : Progress of the distribution representation in SLAM
Avatar for koide3 koide3
0
960
Détecter les vulnérabilités dans un environnement souverain
Avatar for hellosct1 hellosct1
0
110
適応的スパムフィルタのための軽量な類似メッセージカウンタ / jsai2026-adaptive-spam-filter
Avatar for monochromegane monochromegane
0
5.9k
Evaluation génomique des femelles laitières croisées : comprendre la méthode pour accompagner les éleveurs à son utilisation
Avatar for Idele institutdelelevage
PRO
0
170
論文紹介: Understanding Epistemic Language with a Language-augmented Bayesian Theory of Mind
Avatar for Hisao Katsumi hisaokatsumi
0
200
[最先端NLP勉強会2026] Checklists Are Better Than Reward Models For Aligning Language Models
Avatar for Kento Nozawa nzw0301
1
330

Featured

See All Featured
Leveraging LLMs for student feedback in introductory data science courses - posit::conf(2025)
Avatar for Mine Cetinkaya-Rundel minecr
1
430
Save Time (by Creating Custom Rails Generators)
Avatar for Garrett Dimon garrettdimon
PRO
33
5.2k
Bridging the Design Gap: How Collaborative Modelling removes blockers to flow between stakeholders and teams @FastFlow conf
Avatar for Kenny Baas-Schwegler baasie
0
730
How Software Deployment tools have changed in the past 20 years
Avatar for Geshan Manandhar geshan
2
35k
Making the Leap to Tech Lead
Avatar for Ryan Cromwell cromwellryan
135
10k
Believing is Seeing
Avatar for Spiro Bolos oripsolob
1
240
Utilizing Notion as your number one productivity tool
Avatar for Mfonobong Umondia mfonobong
4
620
Build your cross-platform service in a week with App Engine
Avatar for Jose L jlugia
234
19k
Faster Mobile Websites
Avatar for Dean Hume deanohume
310
32k
Why Our Code Smells
Avatar for Brandon Keepers bkeepers
PRO
340
58k
Side Projects
Avatar for Sacha Greif sachag
456
43k
Tips & Tricks on How to Get Your First Job In Tech
Avatar for Honza Javorek honzajavorek
1
800

Transcript

  1. Generating Database Schema Test Suites with DOMINO Abdullah Alsharif, Gregory

    M. Kapfhammer, and Phil McMinn

  2. DOMINO Efficient Effective Effective in Finding Faults

  3. Automated Test Generation http://schemaanalyst.org