Call for Papers -Testing Technologies and Tools for Critical Industry Applications (T4CIA'10)

                                The 2nd Workshop in conjunction with SSIRI 2010  

General Information

The large amount of applications in industrial sectors (e.g. telecom, medical, and energy) has many mission critical issues (e.g. security, reliability). The competence of industry applications to ensure the critical missions determines the competitive strengths in the market. On one hand, industrial companies have introduced and developed testing technologies and tools in industrial contexts, and applied them in these applications. On the other hand, academic researchers have produced and performed theoretical or experimental research for the similar topics. This workshop aims to increase scientific interaction and cooperation between academic researchers and industrial practitioners in the area of critical industry applications. It provides an excellent platform for the exchange of ideas, discussion, cross-fertilization, inspiration, and co-operation. Both researchers and practitioners will present their results and experience to a broader audience.

Scope of the Workshop

The topics of interest include, but are not limited to:
• Methods, techniques and tools to support testing
• Different aspects of testing including functional, performance, security, etc.
• System specification and validation
• Application of model checking in testing
• Model based testing
• Testing processes in industry
• Theoretical foundations in testing
• Case studies and experience reports on critical industrial applications

Important Dates

February 10, 2010:              Submission deadline
March 10, 2010:                   Notification date
April 1, 2010:                        Camera-ready and author registration due
June 10, 2010 (tentative):  Workshop (half day)

Submission, Workshop Proceedings, Paper Presentation

Submit original papers (not published or submitted elsewhere) with a maximum of 10 pages. Include the title of the paper, the name and affiliation of each author, a 150-word abstract, and up to 8 keywords. The format of your submission must follow the IEEE conference proceedings format.

Please submit your paper at http://paris.utdallas.edu/ssiri10/
Or visit the conference website http://paris.utdallas.edu/ssiri10, click on "Paper Submission" in the left menu, and select "Submit papers to Testing Technologies and Tools for Critical Industry Applications (T4CIA'10)"

Accepted submissions will be published by IEEE Press and available in the IEEE digital library. One of the authors needs to register and present the accepted submission. Each paper has 30 minutes, with 20-25minute presentation.

Organizers

Bao Tang   (bao.tang@siemens.com)  Siemens IT Solutions and Services, China
Jun Pang   (jun.pang@uni.lu)                  University of Luxembourg, Luxembourg

Please do not hesitate to contact us by email if you have any questionor remarks.

Invited Speakers

To be defined

Program Committee

Baptiste Alcalde,                             University of Luxembourg, Luxembourg
Jens Calamé,                                  Hamburg, Germany
Benjamin Collar,                             Siemens , USA
Qing Gu,                                            Nanjing University, China
Jun Pang (co-chair),                       University of Luxembourg, Luxembourg
Hongyang Qu,                                  Oxford University, United Kingdom
Mariëlle Stoelinga,                          University of Twente, Netherlands
Rajesh Subramanyan                    Siemens Corporate Research, USA
Jun Sun,                                            National University of Singapore
Bao Tang (co-chair),                       Siemens IT Solutions and Services, China
Kerry Zhu,                                          Webex, China