First International Workshop on
Testing Database Systems


Co-located with ACM SIGMOD


Program

8:00-8:45 Breakfast
8:45-9:00 DBTest Welcome
9:00-10:00 Invited Talk: The Future of Software Testing, James Whittaker
10:00-10:30 Coffee break
10:30-12:00 Session 1: War Stories
12:00-13:30 Lunch break
13:30-15:00 Session 2: Testing Techniques
15:00-15:30 Coffee break
15:30-16:30 Session 3: Case Studies and Test Tools

 

Invited Speaker: James Whittaker

James A. Whittaker has spent his career in software testing. He was an early thought leader in model-based testing where his PhD dissertation from the University of Tennessee became a standard reference on the subject. While a professor at Florida Tech, he founded the world’s largest academic software testing research center and helped make testing a degree track for undergraduates. Before he left Florida Tech, his research group had grown to over 60 students and faculty and had secured over $12 million in research awards and contracts. During his tenure at FIT he wrote How to Break Software and the series follow-ups How to Break Software Security (with Hugh Thompson) and How to Break Web Software (with Mike Andrews). His research team also developed the highly acclaimed runtime fault injection tool Holodeck and marketed it through their startup Security Innovation, Inc.  Dr. Whittaker currently works at Microsoft as an architect for Visual Studio Team System where he is busy transforming his testing ideas into tools and techniques for developers and testers. He dreams of a future in which software just works.

Session 1: War Stories

  • Oracle Real Application Testing
    Peter Belknap, Supiti Buranawatanachoke, Romain Colle, Benoit Dageville, Karl Dias, Leonidas Galanis, Shantanu Joshi, Jonathan Klein, Stratos Papadomanolakis, Uri Shaft, Leng Tan, Venkateshwaran, Venkatamarani, Yujun Wang, Graham Wood, Khaled Yagoud, Hailing Yu (Oracle USA)
  • Testing Challenges for Extending SQL Server’s Query Processor
    Torsten Grabs, Steve Herbert, Xin (Shin) Zhang (Microsoft Corp.)
  • Unit testing query transformation rules
    Mostafa Elhemali, Leo Giakoumakis (Microsoft Corp.)
  • Cross Feature Testing in Database Systems
    Sung Hsueh, Arvind Ranasaria (Microsoft Corp.)

Session 2: Testing Techniques

  • MultiRQP - Generating Test Databases for the Functional Testing of OLTP Applications
    Carsten Binnig (SAP AG), SAP AG, Donald Kossmann (ETH Zurich), Eric Lo (The Hong Kong Polytechnic University)
  • Query-based Test Generation for Database Applications
    David Chays (Adelphi University), John Shahid (Polytechnic University), Phyllis G. Frankl (Polytechnic University)
  • Different Query Verification Approaches used to Test Entity SQL
    Sushil Chordia, Eric Dettinger, Ed Triou (Microsoft Corp.)
  • Focused Iterative Testing: A Test Automation Case Study
    Mechelle Gittens, Pramod Gupta, David Godwin, Hebert Pereyra, Jeff Riihimaki  (IBM Corp.)

Session 3:  Test Tools and Case Studies

  • SVTe - A Tool to Validate Database Schemas giving Explanations
    Carles Farré, Guillem Rull, Ernest Teniente, Toni Urpí (Universitat Politècnica de Catalunya, Spain)
  • Automatic Plan Choice Validation Using Performance Statistics
    Ashit Gosalia, Xin (Shin) Zhang (Microsoft Corp.)
  • A Case Study in Database Reliability: Component Types, Usage Profiles, and Testing
    C. A. Taylor (IBM Corp.), M. S. Gittens (IBM Corp.), A. V. Miranskyy (University of Western Ontario)
  • Testing Microsoft SQL Server Analysis Services
    Sivakumar Harinath, Gonzalo Isaza, Akshai Mirchandani, Marius Dumitru (Microsoft Corp.)


Sponsors


Microsoft SQL Server