The 25th IFIP International Conference on
Testing Software and Systems (ICTSS'13)
Testing is the most important quality assurance technique 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 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.
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
ICTSS seeks papers addressing the conceptual, theoretic, and practical problems of testing software and systems. The topics of interest include but not limited to:
Aspects of testing: Test derivation, test selection, test coverage, test implementation and execution, monitoring and runtime verification, test result analysis, test oracles, test management, test frameworks;
Model-based testing: Formal models and modeling languages based on automata, state machines, process algebra, logics, UML, HOL, Markov-chains; test generation from models addressing model and fault coverage;
Combinations of testing and formal analysis techniques: Techniques that systematically combine testing and formal (model-based) analysis to improve quality and reduce efforts;
Quality aspects: Functional, interoperability, conformance, reliability, performance, robustness, security, 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;
Tools and methods: Automated support of testing activities, agile and lean testing processes, test-driven development, sound metrics and measurements;
Case studies: Case studies and industrial applications of testing involving qualified empirical evaluations.