IFIP-ICTSS 2019: The 31st IFIP International Conference on Testing Software and Systems Paris, France, October 15-17, 2019 |
Conference website | http://ictss2019.centralesupelec.fr |
Submission link | https://easychair.org/conferences/?conf=ifipictss2019 |
Dear colleague,
We are pleased to invite you to submit papers for the 31th IFIP International Conference on Testing Software and Systems (IFIP-ICTSS 2019), which is to be held on October 15-17, in Paris, France.
IFIP 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 the successor of the previous (joint) conferences TESTCOM and FATES and 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.
The Chairs,
Christophe Gaston, Rob Hierons, CEA List, Université Paris Saclay, France
Nikolaï Kosmatov, CEA List, Université Paris Saclay, France
Pascale Le Gall, CentraleSupélec, Université Paris Saclay, France
IMPORTANT DATES
Sunday, May 26, 2019 (AoE)
Recommended deadline for submission of abstracts (Extended)
Sunday, June 2, 2019 (AoE)
Deadline for submission of abstracts and papers (Extended)
Monday, July 1, 2019 (AoE)
Author notification
Monday, July 15, 2019 (AoE)
Camera-ready papers due
October 15–17, 2019
IFIP-ICTSS 2019 conference (Paris, France)
Topics of interest
- Aspects of 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.
- 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.
- 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.
- Quality aspects: Functional, interoperability, unit, integration, performance, load, conformance, non-regression, reliability, robustness, security, safety, privacy testing.
- 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.
- Dedicated approaches to test protocols, middleware, networks, wireless applications, control systems, software product lines, AI applications etc.
- Application areas: Communicating systems such as cyberphysical systems, systems of systems, embedded systems, web services systems, smart grids, cloud computing systems, business information systems, real-time systems, distributed and concurrent systems.
- Case studies: Case studies and industrial applications involving qualified empirical evaluations.
Submission Guidelines
IFIP-ICTSS 2019 welcomes:
- Short papers (up to 6 pages plus at most 1 extra page for references in Springer LNCS format) describing academic work in progress or tool implementations.
- Industrial papers (up to 6 pages plus at most 1 extra page for references in Springer LNCS format) describing testing processes, achievements and feedbacks on testing methods for industrial case studies.
- Full papers (up to 15 pages plus at most 2 extra pages for references in Springer LNCS format) describing original research contributions with sufficient evidence for the interest of the proposed approach.
Each submission will be reviewed by at least three members of the IFIP-ICTSS 2019 Programme Committee. All contributions to IFIP-ICTSS 2019 have to be submitted electronically in PDF format via the EasyChair submission page and have to follow the Springer LNCS format. The submission type (full paper, short paper, or industrial paper) must be stated explicitly in the submission form on EasyChair. The submission type influences the review criteria. At least one author of each accepted contribution must register and present the paper at the conference.
Special Issue
The authors of selected conference papers will be invited to submit extended versions of their papers to a Special Issue of Software Quality Journal. All journal submissions will go through a rigorous reviewing process according to the journal standards.