Testing is one of the most important quality assurance techniques for<br>the (partial) verification of communication and software systems as<br>well as for the validation of their models. Yet, testing remains very<br>challenging in the underlying theory, methods and tools, in industrial<br>use, and in its systematic combined application with other<br>verification techniques.<br>ICTSS<br>–––––<br>ICTSS is a series of international conferences addressing the<br>conceptual, theoretic, and practical problems of testing software<br>systems, including communication protocols, services, distributed<br>platforms, middleware, embedded– and cyber–physical–systems, and<br>security infrastructures.<br>The ICTSS is the successor of previous (joint) conferences TESTCOM and<br>FATES and aims at being a forum for researchers, developers, testers,<br>and users to review, discuss, and learn about new approaches,<br>concepts, theories, methodologies, tools, and experiences in the field<br>of testing of communicating systems and software.<br>Topics of interest<br>––––––––––––––––––<br>* Aspects of testing: test derivation, test selection, test coverage,<br>test implementation and execution, test result analysis, test<br>oracles, test management, monitoring and runtime verification, test<br>frameworks<br>* Model–based testing: Formal models and modeling languages such as<br>automata, state machines, process algebra, logics, UML, HOL,<br>Markov–chains, test generation from models, model coverage<br>* Combination of techniques: Techniques that demonstrate how to<br>cleverly and systematically combine testing and formal (model–based)<br>verification and analysis to improve quality and reduce effort<br>* Quality aspects: Functional, interoperability, performance,<br>conformance, security, reliability, robustness, etc.<br>* Application areas: Communicating systems such as protocols,<br>middleware, networks, web services, wireless applications, control<br>systems, business information systems, embedded and real–time<br>software, etc.<br>* Combinations of different testing techniques: In particular<br>combination of techniques for the automated generation of test data<br>* Tools and methods: Automated support of any of the testing<br>activities, rigid testing processes, testing driven development,<br>sound metrics and measurements<br>* Case studies: Case studies and industrial applications involving<br>qualified empirical evaluations<br>
Abbrevation
ICTSS
City
Aalborg
Country
Denmark
Deadline Paper
Start Date
End Date
Abstract