Scope and Objective

Testing is one of the most important quality assurance techniques for the (partial) verification of communication and software systems as well as for the validation of their models. Yet, testing remains very challenging in the underlying theory, methods and tools, in industrial use, and in its systematic combined application with other verification techniques.

ICTSS

ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded- and cyber-physical-systems, and security infrastructures.

The ICTSS is the successor of previous (joint) conferences TESTCOM and FATES and 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 software.

ICTSS is a forum for researchers, developers, testers, and users from industry to review, discuss, and learn about new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of software and systems. Topics of interest

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 runtime verification, test frameworks.
  • Model-based testing: Formal models and modeling languages such as automata, state machines, process algebra, logics, UML, HOL, Markov-chains, test generation from models, model coverage
  • Combination of techniques: Techniques that demonstrate how to cleverly and systematically combine testing and formal (model-based) verification and analysis to improve quality and reduce effort
  • Quality aspects: Functional, interoperability, performance, conformance, security, reliability, robustness, etc.
  • Application areas: Communicating systems such as protocols, middleware, networks, web services, wireless applications, control systems, business information systems, embedded and real-time software, etc.
  • Combinations of different testing techniques: In particular combination of techniques for the automated generation of test data
  • Tools and methods: Automated support of any of the testing activities, rigid testing processes, testing driven development, sound metrics and measurements
  • Case studies: Case studies and industrial applications involving qualified empirical evaluations