2006 Proceeding- General Chair:
- Johannes Mayer,
- Program Chairs:
- Neelam Gupta,
- Yves Ledru
Software is nowadays present in every part of our daily lives, in our cars, mobile phones, microwave ovens, washing machines, and so on. If software fails, sometimes even our lives may be threatened. Therefore, the quality of software is an important issue. Software quality assurance is a crucial cross-cutting activity during software development in order to guarantee proper quality. Software testing is one of the most prominent analytical activities thereof. The Third International Workshop on Software Quality Assurance (SOQUA 2006) is devoted to the important field of software quality assurance, and in particular to software testing.SOQUA 2004 and SOQUA 2005 were co-located with the German computer science conference Net.ObjectDays. Due to the success of both workshops, we put in our efforts to make this event more international. Therefore, SOQUA 2006 is colocated with ACM SIGSOFT 2006 / FSE 14 which takes place in Portland, Oregon. The call for papers attracted 24 submissions from 13 countries. This documents the increasing popularity and acceptance of SOQUA as a forum in the software quality assurance and software testing community.Each of the submitted papers was reviewed by at least three members of the program committee, and it appeared that numerous papers were of high quality. 9 full papers and 1 short paper were eventually selected. They cover 7 countries over 4 continents.Although software testing remains the topic covered by a majority of papers, 6 of the 7 themes identified in the original SOQUA call for papers are actually addressed by the selected papers, namely software testing, formal methods, metrics for software quality assurance, software quality assurance and its relation to knowledge management, software quality assurance and agile processes, as well as processes and their relation to software quality assurance. This shows that the workshop brings together researchers with various backgrounds and we expect that it will result in fruitful interactions.
Proceeding Downloads
Challenge problems in software testing
Developing software is complex. Software testing helps to reveal bugs and to demonstrate conformance. And we spend billions of dollars on it. But do we really know what we are doing?In this talk I will argue that there are still many open issues in ...
Subsumption of program entities for efficient coverage and monitoring
Program entities such as branches, def-use pairs, and call sequences are used in diverse software-development tasks. Reducing a set of entities to a small representative subset through subsumption saves monitoring overhead, focuses the developer's ...
An empirical comparison between direct and indirect test result checking approaches
An oracle on software testing is a mechanism for checking whether the system under test has behaved correctly for any executions. In some situations, oracles are unavailable or too expensive to apply. This is known as the oracle problem. It is crucial ...
Test automation for hybrid systems
This article presents novel results on automated test generation for hybrid control systems, which involves the generation of both discrete and real-valued, potentially time-continuous, input data to the system under test. Our generation techniques are ...
Adaptive random testing through iterative partitioning revisited
Recently, Adaptive Random Testing through Iterative Partitioning (IP-ART) has been proposed as a random testing method that is more effective than pure Random Testing. Besides this, it is supposed to be equally effective as very good random testing ...
A quality model for design documentation in model-centric projects
Model-centric software processes, such as RUP, involve a rich set of artefacts (e.g., requirements specifications, design models, code) used for many activities (e.g., cost estimation, construction, communication, maintenance, archiving) by engineers in ...
Integrating a model of analytical quality assurance into the V-Modell XT
Economic models of quality assurance can be an important tool for decision-makers in software development projects. They enable to base quality assurance planning on economical factors of the product and the used defect-detection techniques. A variety ...
Towards a unified coupling framework for measuring aspect-oriented programs
There is nowadays a wide recognition that low coupling is a main tenet in the measurement of high-quality modular software. In fact, coupling is one of the few internal software attributes that has been both theoretically and empirically shown to have a ...
A model-based approach for testing the performance of web applications
Poor performance of Web-based systems can adversely impact the profitability of enterprises that rely on them. As a result, effective performance testing techniques are essential for understanding whether a Web-based system will meet its performance ...
Discriminative pattern mining in software fault detection
We present a method to enhance fault localization for software systems based on a frequent pattern mining algorithm. Our method is based on a large set of test cases for a given set of programs in which faults can be detected. The test executions are ...
On-line anomaly detection of deployed software: a statistical machine learning approach
This paper presents a new machine-learning technique that performs anomaly detection as software is executing in the field. The technique uses a fully observable Markov model where each state in the model emits a number of distinct observations ...
- Proceedings of the 3rd international workshop on Software quality assurance