London software testing news UK

Conference on Testing of Communicating Systems (TESTCOM)

Posted in Software testing by testing in London on November 4, 2007

From Eventseer

The 20th IFIP International Conference on Testing of Communicating Systems (TESTCOM) and the 8th Int. Workshop on Formal Approaches to Testing of Software (FATES)

IFIP TESTCOM and FATES will be conducted jointly in Tokyo in the Summer of 2008. TESTCOM is a series of international conferences addressing the problems of testing communicating systems. FATES is a series of international workshops discussing the challenges of using rigorous and formal methods for testing software systems.

TESTCOM/FATES’08 aims at being 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 communicating systems and general software. TESTCOM/FATES’08 is co-located with FORTE’08.


  • 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: formal models and modeling languages such as automata, state machines, process algebra, logics, SDL, UML, Markov-chains, test generation from models, model coverage
  • Kinds of testing: functional, interoperability, performance, conformance, security, reliability, robustness, etc.
  • Application areas: communicating systems such as protocols, middleware, networks, web services and applications, wireless applications, control systems, business information systems, embedded and real-time software, etc.
  • Combinations of different testing techniques and combinations with other validation techniques, e.g. combined verification and testing
  • Tools to support any of the testing activities
  • Case studies and industrial applications of testing methodologies and test tools


  • Theory-oriented research full papers (max. 16 pages) describing results of theoretical or experimental research, which must be original, significant, and sound
  • Application-oriented research full papers (max. 16 pages) describing results of the application of new testing methodologies or focusing on empirical studies or the industrial transfer
  • Industrial best practice papers (2 pages of extended abstract plus max. 24 slides after acceptance) describing approaches and means to introduce new testing methodologies in an industrial context
  • Work-in-progress papers (max. 5 pages) describing very recent research activities and preliminary results that are worth discussing
  • Tutorial proposals (3 pages) within the scope of the conference.

Software testing telecomms

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: