Test Infected

Second ACM International Workshop on Testing Database Systems (DBTest 2009)

June 29th, 2009
Providence, Rhode Island USA
(collocated with ACM SIGMOD/PODS 2009)
http://dbtest2009.ethz.ch/

Program
9:45-10:15 Breakfast
10:15-10:30 DBTest Welcome
10:30-12:00 Session 1: DBMS and SQL Testing
12:00-13:15 Lunch break
13:15-14:15 Invited Talk: (James Corbett, Storage Testing Group, Google) Testing Large-Scale Distributed Storage Systems 14:15-14:30 Coffee break 14:30-16:00 Session 2: Test Tools 16:00-16:30 Coffee break 16:30-18:00 Session 3: Potpourri – Benchmarking, Tuning, and Application Testing

Invited Talk: Testing Large-Scale Distributed Storage Systems (James Corbett, Storage Testing Group, Google) Google develops and maintains some of the largest distributed storage systems in the world. Often these systems span thousands of machines across many data centers and must provide reliable service in the face of disk/machine failures, server crashes, and network outages. Testing these systems can be extremely challenging, especially at scale. In this talk, we give an overview of the Google storage stack, the difficulties of testing it, and the process we use for quality assurance. We identify six best practices that have proven invaluable in our efforts to provide a robust storage service, and look forward to the challenges that remain.

Bio: James Corbett is a Senior Software Engineer in the Storage Testing Group at Google, where he has worked since 2004. He got his PhD from the University of Massachusetts in Amherst in
1992 and was a professor of Information
and Computer Science at the University of Hawaii from 1992-2000.

Session 1: DBMS and SQL Testing

* InProcDiskSim: Testing Database Recovery on Commodity Disk Drives (long*)
Robin Dhamankar, Hanuma Kodavalla / Microsoft Corporartion
* Testing on a Budget: Integrating E-Business Certification into Oracle DB Testing (long*) Mohamet Zait, Allison Lee, Khaled Yagoub, Ravi Sahani, Holly Cosaletto, Lokesh Kumar / Oracle USA
* Case study: Experiences on SQL language fuzz testing (long*) Raul Garcia / Microsoft Corporartion
* Validating the Oracle SQL Engine (short*) Rafi Ahmed, Thierry Cuanes, Allison Lee, Mohamet Zait, Yali Zhu / Oracle USA

Session 2: Test Tools

* Finding Min-Repros in Database Software (long*) Nicolas Bruno / Microsoft Research, Rimma V. Nehme / Purdue University
* Query-Aware Shrinking Test Databases (long*) Javier Tuya, Jose Suarez-Cabal, Claudio de la Riva / Universidad de Oviedo, Departamento de Informatica
* Selection of Customers for Operational and Usage Profiling (long*) A.V. Miranskyy, E. Cialini, D. Godwin / IBM Canada Ltd.
* Real Application Testing with Database Replay (short*) Yujun Wang, Supiti Buranawatanachoke, Romain Colle, Karl Dias, Leonidas Galanis, Stratos Papadomanolakis, Uri Shaft / Oracle USA

Session 3: Potpourri

* How is the Weather tomorrow? Towards a Benchmark for the Cloud (long*) Carsten Binnig, Donald Kossmann, Tim Kraska, Simon Loesing / Systems Group, Department of Computer Science, ETH Zurich
* Towards Workflow-Driven Database System Workload Modeling (short*) Du Naiqiao / School of Software, Tsinghua University
* Query Interactions in Database Workloads (short*) Mumtaz Ahmad, Ashraf Aboulnaga / University of Waterloo Shivnath Babu / Duke University
* Automated SQL Tuning through Trial and (Sometimes) Error (short*) Herodotos Herodotou, Shivnath Babu / Duke University
* White-Box Testing for Database-driven Applications: A Requirements Analysis (short*) Klaus Haller, COMIT AG

*) Session Information:
Long presentations have a slot of 25 minutes (20 min. for presentation and 5 minutes for a discussion).
Short presentations have a slot of 15 minutes (13 min. for presentation and 2 minutes for a short discussion).

Workshop Chairs
Carsten Binnig, ETH Zurich, Switzerland (carsten.binnig@inf.ethz.ch) Benoit Dageville, Oracle Corporation, USA (benoit.dageville@oracle.com)

Steering Comittee
Leo Giakoumakis, Microsoft Corporation, USA (leogia@microsoft.com) Donald Kossmann, ETH Zurich, Switzerland (kossmann@inf.ethz.ch)

Program Committee
Surajit Chaudhuri Microsoft Research, USA Mitch Cherniack Brandeis University, USA Enzo Cialini IBM DB2, Canada Leo Giakoumakis Microsoft SQL Server, USA Jayant Haritsa Indian Institute of Science, India Donald Kossmann ETH Zurich, Switzerland Eric Lo HK Polytec University, Hong Kong Andreas Leitner ETH Zurich, Switzerland Chaitanya Mishra University of Toronto, Canada Patrick O’Neil University of Massachusetts Boston, USA Glen Paulley Sybase iAnywhere, Canada Ravi Sahani Oracle, USA Eric Simon SAP BO, France Avik Sinha IBM Research, USA Ed Triou Microsoft SQL Server, USA Florian Waas Greenplum, USA Khaled Yagoub Oracle, USA

THIRD INTERNATIONAL CONFERENCE ON TESTS AND PROOFS (TAP) 2009 Co-located with TOOLS EUROPE 2009

July 2-3 2009 – ETH Zurich, Switzerland
http://tap.ethz.ch/

CALL FOR PARTICIPATION

PURPOSE AND SCOPE
The TAP conference is devoted to the convergence of proofs and tests. It combines ideas from both sides for the advancement of software quality.

To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a program is to run it with the expectation of discovering bugs. The two techniques seem contradictory: if you have proved your program, it’s fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on any hope to prove its correctness.

Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using rather different techniques and tools.

And yet the development of both approaches leads to the discovery of common issues and to the realization that each may need the other. The emergence of model checking has been one of the first signs that contradiction may yield to complementarity, but in the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of incompatibility and taking instead the best of what each of these software engineering domains has to offer.

The conference will include a mix of invited and submitted presentation, and a generous allocation of panels and informal discussions.

INVITED SPEAKERS
* Sriram Rajamani (Microsoft Research)
* Boutheina Chetali (Security Research Group Manager at Gemalto)

ACCEPTED PAPERS
* “Development of a generic voter under FoCal” by Philippe Ayrault, Therese Hardin and Francois Pessaux
* “Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing” by Andrea Calvagna and Angelo =20 Gargantini
* “Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization” by Yalda Fazlalizadeh, Alireza Khalilian, Mohammad Abdollahi Azgomi and Saeed Parsa
* “Complementary Criteria for Testing Temporal Logic Properties” by Gordon Fraser and Franz Wotawa
* “Could we have chosen a better Loop Invariant or Method Contract?” by Christoph Gladisch
* “Consistency, Independence and Consequences in UML and OCL Models” by Martin Gogolla, Mirco Kuhlmann and Lars Hamann
* “Dynamic Symbolic Execution for Testing Distributed Objects” by Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen and Rudolf Schlatte
* “Combining Model Checking and Testing in a Continuous HW/SW Co-Verification Process” by Paula Herber, Florian Friedemann and Sabine Glesner
* “Symbolic execution based model checking of open systems with unbounded variables” by Nicolas Rapin
* “Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate” by Stefan Ratschan and Jan-Georg Smaus
* “Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder” by Jasmin Christian Blanchette and Tobias =20 Nipkow
* “Tool demonstration: Euclide” by Benjamin Cama, Arnaud Gotlieb and Guillermo Andrade-Barroso
* “Incremental, two-level deadlock analysis for incomplete Java Card 3.0 programs” by Rebekka Neumann, Michael Thies and Uwe Kastens

REGISTRATION
Details can be found at http://tap.ethz.ch/2009/registration.html
The early registration deadline is *7 June 2009*.

CHAIRS AND COMMITTEES

CHAIRS
* Conference chair: Bertrand Meyer, ETH Zurich, Switzerland
* Program chair: Catherine Dubois, Evry, France

PROGRAM COMMITTEE
* Bernhard Aichernig, TU Graz, Austria
* Bernhard Beckert, University of Koblenz, Germany
* Patrice Chalin, Concordia University, Canada
* Yoonsik Cheon, University of Texas at El Paso, USA
* Koen Claessen, Chalmers, Sweden
* Gilles Dowek, Ecole Polytechnique, France
* Angelo Gargantini, University of Bergamo, Italy
* Arnaud Gotlieb, IRISA, France
* Yuri Gurevich, Microsoft Research, USA
* Bart Jacobs, Katholieke Universiteit Leuven, Belgium
* Reiner Hahnle, Chalmers, Sweden
* Ewen Maclean, Heriot-Watt University, UK
* Karl Meinke, KTH Royal Institute of Technology, Sweden
* Sam Owre, SRI International, USA
* Wolfram Schulte, Microsoft Research, USA
* Mark Utting, Waikato University, New Zealand

ORGANIZING COMMITTEE
* Yi Wei, ETH Zurich, Switzerland
* Stephan van Staden, ETH Zurich, Switzerland
* Claudia G=C3=BCnthart, ETH Zurich, Switzerland