9th Workshop on SYSTEM TESTING AND VALIDATION

In conjunction with the 24th International Conference on Software & Systems Engineering and their Applications (ICSSEA2012)

October 24th 2012 - Paris, France

Please download the workshop proceedings here: STV_2012.

INNOVATIONS IN SOFTWARE ENGINEERING

Workshop Motivation

Software security testing is an area which has for decades been the focus of many research efforts. Yet, due to new challenges resulting from new development processes, such as SCRUM used in agile development and new aspects of large scale system integration, the need for efficient testing has been seeing much resent research. That is why this workshop will bring together researchers and practitioners in software security testing. The goal of the workshop is to provide a forum for presenting and discussing work in progress, or ideas for future research in response to future trends.

top

Workshop Objectives

The objective of the workshop is to bring together industry and science by providing a platform for discussion, interaction and collaboration. Industrial papers should either describe challenges of system or software testing that could trigger future research activities or present comparable results of applying model-based security testing. Research papers are expected to present promising ideas or possible solutions to in-dustrial challenges in the field of model-based security testing. Topics of interest comprise but are not limited tos:

• Model based testing
• Security testing
• Fuzz testing
• Software testing metrics
• Risk analysis
  

top

Registration

Registration has to be done according to the ICSSEA 2012 registration procedure

top

Submission Details

Authors should submit full papers of up to six pages. Figures and references must be included in the six pages. At least one of the authors of each accepted paper must register early to attend the conference, in order for the paper to appear in the conference proceedings.

Submissions should be send to the workshop organizers: stv12 [at] fokus [dot] fraunhofer [dot] de

top

Workshop Program

9:00 - 10:30 Session W1: Concepts

• Model-based Testing - From Safety to Security. Josip Bozic, Franz Wotawa - Technische Universität Graz (A)
• Conceptual Framework for Security Testing, Security Risk Analysis and Their Combinations. Yan Li - SINTEF (N)
• Online Network Traffic Security Inspection Using MMT Tool. Wissam Mallouli, Bachar Wehbi, Edgardo Montes de Oca – Montimage (F), Michel Bourdellès, Denis Rocher, Arnaud Baloche - THALES Communications (F)

11:00 - 12:30 Session W2: Fuzzing approaches

• The Network Hoover: Visual Proxy Based Fuzzing. Christian Wieser, Henri Timonen, Juha Röning – OUSPG (Fi)
• Model based Behavioural Fuzzing. Martin Schneider – Fraunhofer FOKUS (D)
• Setting trust evaluations with fuzzy logic in MOE. Khalifa Toumi - TELECOM SudParis (F), César Andrésy - Universidad Complutense de Madrid (E), Ana Cavalli - TELECOM SudParis (F)

-- lunch break --

14:00 - 15:30 Session W3: Tools

• ASA: An advisory system for securing software architecture. Wihem Arsac, Cédric Hébert, Elton Mathias, Gilles Montagnon and Jakub Sendor - SAP (F)
• A Traceability Tool as an Integration Platform for Security Related Applications. Michael Berger - Fraunhofer FOKUS (D)
• Experiment on Using Model-Based Testing for Automatic Tests Generation on a Software Radio Protocol. Shuai Li, Michel Bourdellès, Alexandre Acebedo - THALES Communications (F), Julien Botella, Fabien Peureux - Smartesting R&D Center (F)

16:00 - 17:00 Session W4: New methods

• Improving Protocol Validation by an IOSTS-based Passive Testing approach. Pramila Mouttappa, Stephane Maag and Ana Cavalli - TELECOM SudParis (F)
• A Novel SOA Security Model. Meryem Kassou, Laila Kjiri - Université Mohamed V Souissi (Ma)

top

Important Dates

Submission deadline (ext. abstract)
8 July 2012

Notification of acceptance
19 July 2012

Camera-ready Version (full paper)
31 August 2012

Workshop date
24 October  2012

top

Organisation

Jørgen Bøegh is Professor at Beijing University of Posts and Telecommunications.

Juan Garbajosa is a Professor at the Informatics School of the Technical University of Madrid (UPM), Spain.

Axel Rennoch is computer scientists and project manager at the German Fraunhofer Institute for Open Communication Systems in Berlin.

top

Program Committee

• Jorgen Boegh (Beijing University of Posts and Telecommunications, China)
• Ana Cavalli (IT-Sudparis, France)
• Juan Garbajosa (Technical University of Madrid, Spain)
• Stephane Maag (IT-Sudparis, France)
• Sebastian Mueller (ETSI, France)
• Axel Rennoch (Fraunhofer Fokus, Germany)
• Juha Roning (University of Oulu , Finland)
• Dragos Truscan (Åbo Akademi University, Finland)
• Theo Vassiliou (Testing Technologies, Germany)
• Agustin Yague (Technical University of Madrid, Spain)
• Justyna Zander (Gdansk University of Technology, Poland)

top