Partners
|
in cooperation with
supported by
proceedings published in
|
Highlights
|
|
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
|
Program
|
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)
|