The international FOKUS FUSECO FORUM (FFF) series represents a follow-up to the famous international FOKUS IMS Workshop series held from 2004 to 2009. However, within the FFF series IMS technology represents just a small part of the overall converging telecommunication and Internet infrastructure, and thus we consider increasingly more the impacts of alternative control and service delivery platform technologies and new emerging application domains, which will be delivered seamlessly via different wireless broadband networks onto smartphones, tablet PCs, and other emerging mobile integrated devices. 

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. Associated event of the 24th ICSSEA, Paris

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. Associated event of the ISCTCS 2013, Beijing, China

The third ATAMI-Workshop supports the exchange of knowledge about software testing between industry and research. This year the focus is on the automation industry.

Visit us from 18 to 21 September 2012 at the InnoTrans in Hall 4.1, Stand 225. We will be demonstrating how deductive verification methods can be used to prove that the software of such safety-critical systems works faultlessly.

Visit us from 11th to 16th September at ILA 2012 in Berlin (Hall 3.E, Booth 3221) and experience a precise landing of a satellite on the moon.

4th Workshop on Model-based Testing in Practice, MoTiP 2012, MoTiP12