Formal Methods Europe

Homepage of FME

Report on ICTSS 2013

By Bernhard Aichernig • Feb 3rd, 2014 • Category: Sponsored by FME
The 25th IFIP International Conference on Testing Software and Systems ICTSS 2013 was held on November 13-15, 2013 in Istanbul, Turkey.

The ICTSS series of international conferences addresses the conceptual, theoretic, and practical problems of testing software systems and provides a forum for researchers and practitioners to discuss new approaches and developments in the field of testing. Topics of interest include model-based testing, combinations of testing and formal analysis techniques, tools and methods and case studies. ICTSS 2013 had threee invited talks given by Alexandre Petrenko (CRIM, Canada), Ana Cavalli (Telecom SudParis, France) and Jens Herrmann (Daimler, Germany).

On the occassion on the 25th anniversary of ICTSS the lecture by Alexandre Petrenko entitled  ”Some Observations on Progress in Formal Methods for Testing” discussed the advancements in Formal Methods for Model Based Testing (MBT) the past 25 years, in particular the variety of formal models, challenges in using these models, nondeterminism and fault models. The talk by Prof. Petrenko was supported by FME. In his talk, Prof. Petrenko focused more on the problems that couldn’t be satisfactorily solved over the last 25 years.

The proceedings of the conference was published as LNCS 8254 by Springer. The proceedings include 20 papers out of 68 papers submitted to ICTSS 2013. Each paper was reviewed by at least 3 members of the Technical Program Committee.

ICTSS 2013 also had two co-located workshops; Workshop on Risk Assessment and Risk-driven Testing (RISK) and Workshop on Future Internet Testing (FITTEST).

ICTSS 2013 is chaired by Husnu Yenigun (Sabanci University, Turkey), Cemal Yilmaz (Sabanci University, Turkey), and Andreas Ulrich (Siemens AG, Germany). The event is sponsored by the International Foundation of Information Processing (IFIP), Formal Methods Europe (FME), and Sabanci University. Please see for more details.
The organizers are grateful for the generous support of Formal Methods Europe.

Comments are closed.