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

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
0
430

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
Tweet

More Decks by Gregory Kapfhammer

See All by Gregory Kapfhammer
Chasten Your Python Program: Configurable Program Analysis and Linting with XPath
Avatar for Gregory Kapfhammer gkapfham
0
21
ExecExam: Streaming Python assessments with automation and personalized feedback
Avatar for Gregory Kapfhammer gkapfham
0
38
Automated and configurable programming project checking with Chasten
Avatar for Gregory Kapfhammer gkapfham
0
27
Up and running with GitHub, GitHub Classroom, and GitHub Actions
Avatar for Gregory Kapfhammer gkapfham
0
32
ExecExam: A tool to facilitate effective executable examinations in Python
Avatar for Gregory Kapfhammer gkapfham
0
26
Building and deploying course websites with Python, Quarto, and Mkdocs
Avatar for Gregory Kapfhammer gkapfham
0
58
Exploring pseudo-testedness: Empirically evaluating extreme mutation testing at the statement level
Avatar for Gregory Kapfhammer gkapfham
0
54
PseudoSweep: A pseudo-tested code identifier
Avatar for Gregory Kapfhammer gkapfham
0
50
Surveying the developer experience of flaky tests
Avatar for Gregory Kapfhammer gkapfham
0
150

Other Decks in Research

See All in Research
教師あり学習と強化学習で作る 最強の数学特化LLM
Avatar for Hiroshi Y (RabotniKuma) analokmaus
2
880
ローテーション別のサイドアウト戦略 ~なぜあのローテは回らないのか？~
Avatar for ぱんだ vball_panda
0
280
存立危機事態の再検討
Avatar for Ken Jimbo jimboken
0
240
20年前に50代だった人たちの今
Avatar for marimari hysmrk
0
130
Collective Predictive Coding and World Models in LLMs: A System 0/1/2/3 Perspective on Hierarchical Physical AI (IEEE SII 2026 Plenary Talk)
Avatar for Tadahiro Taniguchi tanichu
1
240
ペットのかわいい瞬間を撮影する オートシャッターAIアプリへの スマートラベリングの適用
Avatar for Convergence Lab. mssmkmr
0
220
R&Dチームを起ち上げる
Avatar for shibuiwilliam shibuiwilliam
1
140
自動運転におけるデータ駆動型AIに対する安全性の考え方 / Safety Engineering for Data-Driven AI in Autonomous Driving Systems
Avatar for Fuyuki Ishikawa / 石川 冬樹 ishikawafyu
0
120
SkySense V2: A Unified Foundation Model for Multi-modal Remote Sensing
Avatar for SatAI.challenge satai
3
480
2026.01ウェビナー資料
Avatar for Elith elith
0
190
ブレグマン距離最小化に基づくリース表現量推定： バイアス除去学習の統一理論
Avatar for MasaKat0 masakat0
0
120
ACL読み会2025: Can Language Models Reason about Individualistic Human Values and Preferences?
Avatar for Yuki Zenimoto yukizenimoto
0
120

Featured

See All Featured
So, you think you're a good person
Avatar for Per Axbom axbom
PRO
2
1.9k
We Have a Design System, Now What?
Avatar for Morgane Peng morganepeng
54
8k
Done Done
Avatar for chrislema chrislema
186
16k
Balancing Empowerment & Direction
Avatar for Lara Hogan lara
5
880
Site-Speed That Sticks
Avatar for Harry Roberts csswizardry
13
1.1k
More Than Pixels: Becoming A User Experience Designer
Avatar for Michelle Schulp Hunt marktimemedia
3
310
Ecommerce SEO: The Keys for Success Now & Beyond - #SERPConf2024
Avatar for Aleyda Solis aleyda
1
1.8k
How to Grow Your eCommerce with AI & Automation
Avatar for Katarina Dahlin katarinadahlin
PRO
0
100
Agile Actions for Facilitating Distributed Teams - ADO2019
Avatar for Mark Kilby mkilby
0
110
Six Lessons from altMBA
Avatar for Skipper Chong Warson skipperchong
29
4.1k
Gemini Prompt Engineering: Practical Techniques for Tangible AI Outcomes
Avatar for Mfonobong Umondia mfonobong
2
270
Digital Ethics as a Driver of Design Innovation
Avatar for Per Axbom axbom
PRO
1
170

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