Lock in $30 Savings on PRO—Offer Ends Soon! ⏳

Generating database schema test suites with DOMINO

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
18
ExecExam: Streaming Python assessments with automation and personalized feedback
Avatar for Gregory Kapfhammer gkapfham
0
31
Automated and configurable programming project checking with Chasten
Avatar for Gregory Kapfhammer gkapfham
0
25
Up and running with GitHub, GitHub Classroom, and GitHub Actions
Avatar for Gregory Kapfhammer gkapfham
0
25
ExecExam: A tool to facilitate effective executable examinations in Python
Avatar for Gregory Kapfhammer gkapfham
0
24
Building and deploying course websites with Python, Quarto, and Mkdocs
Avatar for Gregory Kapfhammer gkapfham
0
56
Exploring pseudo-testedness: Empirically evaluating extreme mutation testing at the statement level
Avatar for Gregory Kapfhammer gkapfham
0
47
PseudoSweep: A pseudo-tested code identifier
Avatar for Gregory Kapfhammer gkapfham
0
48
Surveying the developer experience of flaky tests
Avatar for Gregory Kapfhammer gkapfham
0
150

Other Decks in Research

See All in Research
製造業主導型経済からサービス経済化における中間層形成メカニズムのパラダイムシフト
Avatar for Masatake Yamoto yamotty
0
380
国際論文を出そう！ICRA / IROS / RA-L への論文投稿の心構えとノウハウ / RSJ2025 Luncheon Seminar
Avatar for koide3 koide3
12
6.5k
[IBIS 2025] 深層基盤モデルのための強化学習 驚きから理論にもとづく納得へ
Avatar for Akifumi Wachi akifumi_wachi
19
9k
自動運転におけるデータ駆動型AIに対する安全性の考え方 / Safety Engineering for Data-Driven AI in Autonomous Driving Systems
Avatar for Fuyuki Ishikawa / 石川 冬樹 ishikawafyu
0
110
大規模言語モデルにおけるData-Centric AIと合成データの活用 / Data-Centric AI and Synthetic Data in Large Language Models
Avatar for tsurubee tsurubee
1
460
AIグラフィックデザインの進化：断片から統合（One Piece）へ / From Fragment to One Piece: A Survey on AI-Driven Graphic Design
Avatar for Shunsuke KITADA shunk031
0
580
機械学習と数理最適化の融合 (MOAI) による革新
Avatar for MIKIO KUBO mickey_kubo
1
450
論文読み会 SNLP2025 Learning Dynamics of LLM Finetuning. In: ICLR 2025
Avatar for S s_mizuki_nlp
0
350
Language Models Are Implicitly Continuous
Avatar for Sho Yokoi eumesy
PRO
0
360
SREのためのテレメトリー技術の探究 / Telemetry for SRE
Avatar for Yuuki Tsubouchi (yuuk1) yuukit
13
2.6k
AIスパコン「さくらONE」のLLM学習ベンチマークによる性能評価 / SAKURAONE LLM Training Benchmarking
Avatar for Yuuki Tsubouchi (yuuk1) yuukit
2
920
Mamba-in-Mamba: Centralized Mamba-Cross-Scan in Tokenized Mamba Model for Hyperspectral Image Classification
Avatar for SatAI.challenge satai
3
360

Featured

See All Featured
Lightning Talk: Beautiful Slides for Beginners
Avatar for Ines Montani inesmontani
PRO
1
410
The Web Performance Landscape in 2024 [PerfNow 2024]
Avatar for Tammy Everts tammyeverts
12
980
Evolving SEO for Evolving Search Engines
Avatar for Ryan Jones ryanjones
0
77
Game over? The fight for quality and originality in the time of robots
Avatar for Wayne Barker wayneb77
1
67
Context Engineering - Making Every Token Count
Avatar for Addy Osmani addyosmani
9
560
技術選定の審美眼（2025年版） / Understanding the Spiral of Technologies 2025 edition
Avatar for Takuto Wada twada
PRO
115
94k
It's Worth the Effort
Avatar for 3n 3n
187
29k
Kristin Tynski - Automating Marketing Tasks With AI
Avatar for Tech SEO Connect techseoconnect
PRO
0
110
Data-driven link building: lessons from a $708K investment (BrightonSEO talk)
Avatar for Szymon szymonslowik
1
860
Building a A Zero-Code AI SEO Workflow
Avatar for Ian Lurie portentint
PRO
0
200
Max Prin - Stacking Signals: How International SEO Comes Together (And Falls Apart)
Avatar for Tech SEO Connect techseoconnect
PRO
0
51
Building an army of robots
Avatar for Kyle Neath kneath
306
46k

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