The 22nd IFIP International Conference on Testing Software and Systems (ICTSS'10).

Pessoal,

Divulgando mais em evento legal que acontece no Nordeste, mais precisamente em Natal-RN.
Novembro 8 - 12 / 2010
Esse é um combo: ICTSS-SBMF-SAST. Vale a pena com certeza!


The 22nd IFIP International Conference on Testing Software and Systems (ICTSS'10). 


The growing importance of computer systems within industry and society requires that solid techniques are used to produce dependable systems. Two of the most promising approaches are formal methods and testing, which are now seen as complementary. In this context, three events that are related to formal methods and testing will take place in the city of Natal, Brazil.

The 22nd IFIP International Conference on Testing Software and Systems (ICTSS'10), which merges TestCom and FATES, is a forum for researchers, developers, testers, and users to review, discuss, and learn about new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of general software and systems. Next, the 13th Brazilian Symposium on Formal Methods (SBMF'10) is the thirteenth of a series of events devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems. And last, but not least, SAST is a Brazilian workshop whose goal is to be a forum that brings together the Brazilian research community and industry with interest on test.

The events will be co-located and are being organized by the Department of Informatics and Applied Mathematics (DIMAp) of the Federal University of Rio Grande do Norte. Natal is a gorgeous city, with plenty of sun and a very pleasant people. The scenario could not be better for a stimulating environment for exchanging and promoting ideas.

Call For Papers

ICTSS 2010 is the merge of the 22nd IFIP Int. Conference on Testing of Communicating Systems (TESTCOM) and the 10th Int. Workshop on Formal Approaches to Testing of Software (FATES). ICTSS is a forum for researchers, developers, testers, and users to review, discuss, and learn about new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of general software and systems. ICTSS'10 will be co-located with 13th Brazilian Symposium of Formal Methods and 4th Brazilian Workshop on Software Testing.

TOPICS OF INTEREST

• Aspects of testing: test derivation, test selection, test coverage, test implementation and execution, test result analysis, test oracles, test management, monitoring and run-time verification, test frameworks.
• Model-based testing using formal models and modeling languages such as automata, state machines, process algebra, logics, SDL, UML, Markov-chains, and others.
• Various types of testing: functional, interoperability, performance, conformance, security, reliability, robustness, etc.
• Application specific testing, e.g., testing of communicating systems and protocols, middleware, networks, web services and applications, wireless applications, control systems, business information systems, embedded and real-time software.
• Tools to support any of the testing activities.
• Case studies and industrial applications of testing methodologies and test tools.

More details at:  http://ictss2010.dimap.ufrn.br/


Felipe Silva