IFIP–ICTSS [https://sites.google.com/site/ictssmain] 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. IFIP–ICTSS aims to be a forum in which researchers, developers, testers, and users can review and discuss new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of software and systems.<br>Topics of interest include, but are not limited to:<br>* Aspects of testing: model–based testing, code–based testing, search–based testing, test derivation, test selection, test generation, test coverage, test concretization, test implementation and execution, test result analysis, test oracle, verdict computation, test management, active testing and passive testing, monitoring and runtime verification.<br>* Theoretical approaches: formalisms (such as automata, state machines, process algebra, logics, Markov–chains…), testing frameworks, results for: compositionality, refinement, soundness and completeness, addressing complex systems, heterogeneous or hybrid systems.<br>* Modelling languages (such as UML, MATLAB, Simulink, Modelica…) and associated tooling for model–based testing: test generation from models, model–based oracles. Scalability, traceability, quantification issues. Automated support of any parts of the testing activities, testing processes, test–driven development, sound metrics and measurements.<br>* Quality aspects: Functional, interoperability, unit, integration, performance, load, conformance, non–regression, reliability, robustness, security, safety, privacy testing.<br>* Cross domains and combination of techniques: using other techniques such as proof, model–checking, symbolic execution, abstract interpretation, static analysis, simulation, model learning, machine learning, expert systems, neural networks, genetic algorithms… to improve quality and reduce effort in testing processes.<br>* Dedicated approaches to test control systems, AI applications, protocols, middleware, networks, wireless applications, software product lines etc.<br>* Application areas: Communicating systems such as cyberphysical systems, systems of systems, embedded systems, mobile and web systems, smart grids, cloud computing systems, business information systems, self–adaptative systems (cars, robots, …), real–time systems, distributed and concurrent systems.<br>* Case studies: Case studies and industrial applications involving qualified empirical evaluations.<br>
Abbrevation
IFIP-ICTSS
City
Paris
Country
France
Deadline Paper
Start Date
End Date
Abstract