Costs entailed by software failures demonstrate that the systematic development
of software in a certain quality is still a challenge, even after decades of
research. A reason for this can certainly be found within the single projects.
Often, known techniques of quality assurance are not employed as required due
to deadline and budget restrictions. However, a reason is surely a limited transfer
from research results to practice. An example for this are the manifold research
activities in dynamic testing, coverage criteria based testing
in particular, and a very limited application of corresponding testing techniques
in industrial projects.
This track aims at giving researchers and
practitioners a platform to present their results, their experience and
also their expectations to each other. This will not only allow a more
intensive transfer from research to practice, this will also form the
basis for a more fruitful cooperation in future.
The topics of interest include, but are not limited to:
- Formal testing techniques in practice, eg. model-based testing,
mutation testing, etc.
- Static, analytical and dynamic testing techniques
- Testing and reliability (availability, security etc.)
- Testing measures and their quantification
- Tools for automated testing
- Cost and effort estimates of existing testing techniques
- Experience reports and case studies from practice
- Requirements from practice