Second International Workshop on
Software Quality
(SOQUA 2005)
in conjunction with the Net.ObjectDays 2005
Fair and Convention Center, Erfurt, Germany, September 22, 2005
in cooperation with
ACM / SIGSOFT    GI e.V. / SIG TAV    Milwaukee School
of Engineering
of Ulm

supported by

proceedings published in

Registration Registration for the workshop is only available as part of the main conference.

Registration Form

Early booking phase until August 12, 2005
Motivation The goal of software engineering is to achieve high-quality software in a cost-effective, timely, and reproducible manner. Advances in technology offer us reductions in cost and schedule, but their effect on software quality often remains unknown. Object-oriented concepts, component technology, components off the shelf (COTS), and open source software can dramatically reduce development time; however, assuring the quality of systems using these technologies is problematic.

New software development processes also complicate quality assurance. Agile methods explicitely allow customers to change requirements very late in the project. Agile methods also take a "light weight" approach to project documentation and software testing. Reducing process overhead can improve response to change and speed product delivery, but may also adversely affect the project's risk profile. Little data exists on the quality of industrial systems developed using Agile methods.

The job of measuring, assuring, and improving the quality of software systems is getting harder, not easier. The goal of this workshop is to bring together researchers, engineers, and practitioners to discuss and evaluate the latest challenges and breakthroughs in the field of software quality. The main focus of the workshop is on software quality assurance.

Aims The aims of this workshop are as follow:
  • Communication of current trends related to software quality
  • Identification of future trends and problems
  • Initiation of knowledge transfer in the field of software quality between academia and industry
Monday, September 19, 2005
Net.ObjectDays' Tutorials (optional)
Tuesday/Wednesday, September 20/21, 2005
QoSA 2005
Thursday, September 22, 2005
Invited Talk (Session Chair: Johannes Mayer)
10:15am - 11:00am Are Successful Test Cases Useless or Not?
T.Y. Chen (Swinburne University of Technology, Australia)
Coffee Break (11:00am - 11:15am)
Session 1: Test Case Selection and Model-Based Testing (Session Chair: Ralph Guderlei)
11:15am - 11:45am Automatic Test Generation for N-way Combinatorial Testing
Changhai Nie et al. (Southeast University, Nanjing, China)
Slides: [PDF] [PPT]
11:45am - 12:15am Automated Generation and Evaluation of Dataflow-based Test Data for Object-Oriented Software
Norbert Oster (Friedrich-Alexander-University Erlangen-Nuremberg, Germany)
Slides: [PDF]
12:15am - 12:45am Automated Model-Based Testing of Simulation Models
Michiel van Osch (Eindhoven University of Technology, Netherlands)
Slides: [PDF] [PPT]
Lunch Break (12:45am - 1:45pm)
Session 2: Unit Testing and Performance Testing (Session Chair: T.Y. Chen)
1:45pm - 2:15pm Jartege: A Tool for Random Generation of Unit Tests for Java Classes
Catherine Oriat (LSR-IMAG, France)
Slides: [PDF] [PPT]
2:15pm - 2:45pm FlexTest: An Aspect-Oriented Framework for Unit Testing
Matthias Vösgen et al. (TU Berlin, Germany)
Slides: [PDF]
2:45pm - 3:15pm Quality Assurance in Performance: Evaluating Mono Benchmark Results
Lubomir Bulej et al. (Charles University, Prague, Czech Republic)
Slides: [PDF]
Coffee Break (3:15pm - 3:30pm)
Joint Session Developer Track & SOQUA (Session Chair: Yves Ledru)
3:30pm - 4:00pm Automatic Testing Based on Design by Contract™
Ilinca Ciupa et al. (ETH Zurich, Switzerland)
Slides: [PDF]
4:00pm - 4:30pm Software Quality Economics for Combining Defect-Detection Techniques
Stefan Wagner (TU Munich, Germany)
Slides: [PDF]
4:30pm - 5:00pm Looking for Stability
Teade Punter et al. (LaQuSo, Eindhoven University of Technology, Netherlands)
Slides: [PDF]
Workshop Closing (5:00pm)
Contributions Contributions related to software quality, especially from one of the following fields, are welcome from academia and industry:
  • Software testing: deterministic, random, oracles, tools, automation, processes, and standards
  • Reviews, inspections, and walkthroughs
  • Software quality and agile processes
  • Processes and their relation to software quality
  • Metrics for software quality
  • Formal methods: program analysis, model checking, and verification
  • Software quality management
  • Software quality and its relation to knowledge management
We invite original contributions from the above-mentioned areas that neither have been published previously nor are under review by other refereed events or publications.

Contributions can have the form of research papers or case studies from industry.

Papers and talks must be in English. Talks should have a length of 25 minutes followed by 5 minutes for discussion.

Papers must not exceed 18 pages in LNCS format (including all text, references, appendices, figures, and tables). Format papers according to the LNCS style (for the formatting details see "Information for LNCS Authors") and submit them in Adobe portable document format (PDF) with all fonts embedded. The workshop proceedings are published in the Springer series Lecture Notes in Computer Science (LNCS) - jointly with QoSA 2005. Prepare your paper for blind review, i.e. do not mention the names of the authors and institutions in the whole paper. (You will be asked to enter the names and institutions of all authors on the submission site.)

Each submission will be reviewed by at least three members of the program committee.

Submissions Submissions should be made online via the submission site:

Submission Site (cookies required!)   

Important Dates Submission of Papers: May 9, 2005
Notification of Acceptance: June 3, 2005
Camera Ready Copy: June 24, 2005
End of Eary Booking Phase: August 12, 2005
Workshop: September 22, 2005
Organization Workshop Chair:

Johannes Mayer (University of Ulm, Germany)

Program Committee Program Committee Chairs:

Johannes Mayer (University of Ulm, Germany)
Patrick J. Schroeder (Milwaukee School of Engineering, USA)

Program Committee:

Paul Ammann (George Mason University, USA)
Arnaldo Dias Belchior (Universidade de Fortaleza, Brazil)
Giovanni Denaro (University of Milano-Bicocca, Italy)
Hans-Dieter Ehrich (Technical University of Braunschweig, Germany)
Ricardo de Almeida Falbo (Universidade Federal do Espírito Santo, Brazil)
Marie-Claude Gaudel (Université Paris Sud, France)
Wolfgang Grieskamp (Microsoft Research, USA)
Neelam Gupta (The University of Arizona, USA)
Dick Hamlet (Portland State University, USA)
Thomas A. Henzinger (EPFL, Switzerland)
Pankaj Jalote (Indian Institute of Technology Kanpur, India)
Bingchiang Jeng (New York University, Taiwan)
Yves Ledru (LSR/IMAG, France)
Henrique Madeira (University of Coimbra, Portugal)
Christine Mingins (Monash University, Australia)
Oscar Pastor (Valencia University of Technology, Spain)
Mauro Pezzč (University of Milano-Bicocca, Italy)
Mario Piattini (University of Castilla-La Mancha, Spain)
Marc Roper (University of Strathclyde, Glasgow, UK)
David S. Rosenblum (University College London, UK)
Franz Schweiggert (University of Ulm, Germany)
Jan Tretmans (Radboud University Nijmegen, Netherlands)
Marcello Visconti (Universidad Tecnica Federico Santa Maria, Chile)
Mario Winter (University of Applied Sciences Cologne, Germany)
Bernard Wong (University of Technology Sydney, Australia)
Jianjun Zhao (Fukuoka Institute of Technology, Japan)

Past Events First International Workshop on Software Quality (SOQUA 2004)

  Johannes Mayer, 2005-11-15 unique visitors since January 28, 2005