Formal Methods Europe

Homepage of FME

Upcoming: ICTSS 2013

By Bernhard Aichernig • Oct 3rd, 2013 • Category: Sponsored by FME

The 25th IFIP International Conference on Testing Software and Systems ICTSS 2013 will be 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 practioners 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. Invited talks will be 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” discusses 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 is supported by FME.

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.

Comments are closed.