ICTSS2021: 33rd IFIP International Conference on Testing Software and Systems 2021 virtual London, UK, November 10-12, 2021 |
Conference website | http://ictss2021.cs.ucl.ac.uk/index.html |
Submission link | https://easychair.org/conferences/?conf=ictss2021 |
Abstract registration deadline | June 16, 2021 |
Submission deadline | June 23, 2021 |
IFIP-ICTSS is a well established conference where researchers, developers, testers, and users from industry get together to present and discuss the most recent innovations, experiences and open challenges related to testing software and systems and measuring software quality. The 33rd edition will also encourage the submission of research works and the discussion on diversity in testing, with particular attention to information theory applications to test suite generation and selection.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- Full papers (12 to 15 pages plus at most 2 extra pages for references inthe one-column Springer LNCS format) describing original researchcontributions with sufficient evidence for the interest of the proposedapproach.
- Short papers or work-in-progress papers (up to 6 pages plus at most 1extra page for references in the one-column Springer LNCS format)describing academic work in progress or tool implementations, as well astesting processes, achievements and feedbacks on testing methods forindustrial case studies.
List of Topics
Topics of interest include, but are not limited to:
- 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.
- Diversity on testing: diverse generation, selecting diverse test suite, theoretical applications of information theory to test suite diversity, foundations of testing and diversity, applications of entropy and Kolmogorov complexity on test suite diversity.
- 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.
- Testing of quality aspects: Functional, interoperability, unit, integration, performance, load, conformance, non-regression, reliability, robustness.
- Security Testing: methodologies and techniques for continuous security assessment, security monitoring, security review, penetration testing, verification of certification compliance; automation of security testing processes.
- 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 the effort in testing processes.
- Dedicated approaches to test protocols, middleware, networks, wireless applications, control systems, software product lines, AI applications etc.
- Application aspects and case studies: 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 and industrial applications involving qualified empirical evaluations.
Committees
Sterring committee
- Rob Hierons, University of Sheffield
- Ana Cavalli, Telecom SudParis
- Andreas Ulrich, Siemens AG
- Nikolai Kosmatov, CEA List
- Christophe Gaston, CEA List
- Pascale Le Gall, CentraleSupelec
- Inmaculada Medina Bulo, University of Càdiz
- Mercedes Merayo, Universidad Complutense de Madrid
- Francisco Palomo Lozano, University of Càdiz
- Valentina Casol, University of Napoli Federico II
- Massimiliano Rak, Università della Campania Luigi Vanvitelli
- Alessandra De Benedictis, University of Napoli Federico II
Program Committee
- Antonio Pecchia, Università degli Studi del Sannio
- Burkhart Wolff, Univ Paris-Sud
- Natalia Kushik, SAMOVAR, CNRS, Telecom SudParis, Paris Saclay University
- Roland Groz, Grenoble INP - LIG
- Hector Menendez, Middlesex University London
- Jorge Lopez, Airbus Defence and Space
- Antoine Rollet, LaBRI, Bordeaux INP, University of Bordeaux, CNRS
- Ana Rosa Cavalli, Institut Mines-Telecom/Telecom SudParis
- Porfirio Tramontana, University of Naples Federico II
- David Clark, University College London
- Manuel Núñez, Universidad Complutense de Madrid
- Nikolai Kosmatov, CEA List
- Stephane Maag, Institut Mines Telecom / Telecom SudParis
- Christophe Gaston, CEA
- Alessandra De Benedictis, University of Naples Federico II
- Radu Mateescu, INRIARoberto Natella, University of Naples Federico II
- Wissam Mallouli, Montimage
- Justyna Petke, University College London
- Roberto Pietrantuono, University of Naples Federico II
- Sergio Segura, University of Seville
- Hüsnü Yenigün, Sabanci University
- Antonia Bertolino, ISTI-CNR
- Inmaculada Medina-Bulo, Universidad de Cádiz
- Mercedes Merayo, Universidad Complutense de Madrid
- Gunel Jahangirova, Università della Svizzera Italiana (USI)
- Rob Hierons, The University of Sheffield
- Teruo Higashino, Osaka University
- Ferhat Khendek, Concordia University
- Robert Feldt, Blekinge Institute of Technology
- Jan Peleska, TZI, Universitat Bremen, Germany
- Umberto Villano, University of Sannio
- Delphine Longuet, Univ. Paris-Sud, LRI
- Franz Wotawa, Technische Universitaet Graz
- Thierry Jéron, INRIA
- Pedro Delgado-Pérez, Universidad de Cádiz
- Valentina Casola, University of Naples Federico II
- Moez Krichen, REDCAD Research Unit
- Angelo Gargantini, University of Bergamo
- Khaled El-Fakih, American University of Sharjah
- Shin Yoo, Korea Advanced Institute of Science and Technology
- Mike Papadakis, University of Luxembourg
- Luis Llana, Universidad Complutense de Madrid
- Juergen Grossmann, Fraunhofer
- Bernhard K. Aichernig, TU Graz
- Sébastien Salva, LIMOS
- Andreas Ulrich, Siemens AG
- Kelly Androutsopoulos, Middlesex University
Organizing committee
- Dan Blackwell, University College London
- Dan Bruce, University College London
- David Clark, University College London
- Héctor D. Menéndez, Middlesex University London
- Ilaria Pia La Torre, University College London
Publication
ICTSS2021 proceedings will be published in Springer's Lecture Notes in Computer Science series
Venue
The conference will be held in online at University College London, Gower St, Bloomsbury, London WC1E 6BT
Contact
All questions about submissions should be emailed to david (dot) clark (at) ucl (dot) ac (dot) uk