The 1st Workshop on Testing & Debugging (TeBug) aims at bringing together researchers and practitioners in the fields of software testing and debugging.

Papers to be submitted for TeBug should either focus on techniques that are relevant for debugging or describe the application of testing for debugging.

The latter is of special interest for the first edition of the workshop because the influence of testing on debugging and vice-versa has not yet been sufficiently addressed. Other topics of interest include static and dynamic program analysis, monitoring of software, and other debugging techniques such as algorithmic and automated debugging, delta debugging, debugging based on models, debugging using mutations or genetic programming, or debugging using slicing.

For TeBug we are seeking for high quality papers describing original research in the mentioned areas, or tool demonstration papers. Furthermore, we especially welcome industrial experience papers describing either open problems regarding the intersection of testing and debugging or experiences obtained when using debugging tools in practice.

Workshop proceedings will be published in the IEEE Digital Library. For the best papers presented at TeBug, we plan to organize a special issue of a software engineering journal.

Important dates.

  • Submission of full papers
    Jan 7, 2011 (deadline extended)
  • Notification of acceptance
    Feb 1, 2011
  • Camera-Ready deadline
    Mar 1, 2011
  • Workshop
    Mar 25, 2011


Grand Hotel Esplanade Berlin
Lützowufer 15
10785 Berlin, Germany.

For detailed information about TeBug location visit ICST 2011 Website.


General Chairs

  • Franz Wotawa
    Graz University of Technology, Austria
  • Rui Abreu
    University of Porto, Portugal

Web Chair

  • André Riboira
    University of Porto, Portugal

Program Committee

  • Mikhail Auguston
    Naval Postgraduate School, USA
  • Peter Bunus
    Linköping University, Sweden
  • W.K. Chan
    City University of Hong Kong, China
  • Mireille Ducassé
    IRISA, France
  • Peter Fritzson
    Linköping University, Sweden
  • Arjan van Gemund
    Delft University of Technology, the Netherlands
  • Mary Jean Harrold
    Georgia Institute of Technology, USA
  • Jim Jones
    University of California, Irvine, USA
  • Gregory M. Kapfhammer
    Allegheny College, USA
  • Wolfgang Mayer
    University of South Australia, Australia
  • Michiel Ronsse
    University of Gent, Belgium
  • Markus Stumptner
    University of South Australia, Australia
  • T.H. Tse
    The University of Hong Kong, China
  • W. Eric Wong
    University of Texas at Dallas, USA
  • Andreas Zeller
    Saarland University, Germany
  • Zhenyu Zhang
    Chinese Academy of Sciences, China


08:00 - 09:00 - Registration
09:00 - 09:05 - Opening remarks
09:05 - 10:00 - Keynote Address by Alex Orso

GeorgiaTech, USA

Automated Debugging: Are We There Yet?

Abstract: Software debugging is a notoriously difficult, extremely time consuming, and human-intensive activity. For this reason, researchers have invested a great deal of effort in developing automated techniques and tools for supporting various debugging tasks. Although potentially useful, most of these techniques have yet to fully demonstrate their practical effectiveness. Moreover, many current debugging approaches suffer from some common limitations. In particular, many techniques rely on a set of strong assumptions on how developers behave when debugging, fail to leverage the rich source of information represented by the user population, and focus mainly on trying to reduce the number of statements to examine, mostly ignoring the importance of identifying relevant inputs. This talk will provide an overview of the state of the art in the area of software debugging, discuss strengths and weaknesses of the main existing techniques, present a set of open challenges in the area of debugging, and sketch future research directions that may help address these challenges.

Bio: Alessandro Orso is an associate professor in the College of Computing at the Georgia Institute of Technology. He received his M.S. degree in Electrical Engineering (1995) and his Ph.D. in Computer Science (1999) from Politecnico di Milano, Italy. From March 2000, he has been at Georgia Tech, first as a research faculty and now as an associate professor. His area of research is software engineering, with emphasis on software testing and analysis. His interests include the development of techniques and tools for improving software reliability, security, and trustworthiness, and the validation of such techniques on real systems. Dr. Orso is a member of the ACM and the IEEE Computer Society.

10:00 - 10:30 - Coffee Break
10:30 - 12:00 - Workshop Session 1

  • Bernhard Peischl and Franz Wotawa. An Abstract Operational Framework for Dependence Models in Software Debugging
  • Rawad Abou Assi and Wes Masri. Identifying Failure-Correlated Dependence Chains
  • Shekhar Gupta, Arjan van Gemund, and Rui Abreu. Probabilistic Error Propagation Modeling of Logic Circuits

12:00 - 14:00 - Lunch
14:00 - 15:30 - Workshop Session 2

  • Franz Wotawa. On the use of constraints in dynamic slicing for program debugging
  • Alberto Gonzalez-Sanchez, Hans-Gerhard Gross and Arjan van Gemund. Modeling the Diagnostic Efficiency of Regression Test Suites
  • Cesar Andres and Luis Llana. Compression Strategies for Passive Testing

15:30 - 16:00 - Coffee Break
16:00 - 17:00 - Workshop Session 3

  • Alberto Gonzalez-Sanchez, Eric Piel, Hans-Gerhard Gross and Arjan Van Gemund. A Diagnostic Point of View for the Optimization of Preparation Costs in Runtime Testing
  • Discussion and Closing Remarks


Topics of interest for the workshop include (but are not limited to):

  • Debugging
  • Testing for Debugging
  • Dynamic/static techniques for debugging
  • Monitoring of software
  • Record and replay tools
  • Industrial experiences


Submissions must be clearly marked as research, industrial report, or tool demonstration contribution.

One author of each paper submitted must be committed to attend the workshop and present the paper.

Research papers should be no longer than 10 pages describe a novel contribution to testing and/or debugging and should carefully support claims of novelty with citations to the relevant literature.

Papers that describe an industrial report should be no longer than 4 pages and contain the environment, methodology used, and results or lessons learned.

Tool demonstration papers should be no longer than 4 pages and explain the purpose and implementation of a debugging tool.

All paper categories must conform to the two-column IEEE conference publication format and must be submitted in pdf format.

Submissions will be handled via EasyChair.



Promote TeBug 2011 by creating a link to this page on your website.
You can create a link using the following code:

Choose a color:
Bright Blue Dark

TeBug 2011

<a href="http://paginas.fe.up.pt/~tebug2011/">
<img style="border: none;" alt="TeBug 2011"
src="http://paginas.fe.up.pt/~tebug2011/tebug_blue.png" />

These images are transparent, for better integratation into your website.
Thank you for sharing!


Grand Hotel Esplanade Berlin