posted by user: ciaciola84 || 9343 views || tracked by 7 users: [display]

IFIP-ICTSS 2020 : 32ND IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS

FacebookTwitterLinkedInGoogle

Link: http://home.ing.unisannio.it/ictss2020/
 
When Oct 6, 2020 - Oct 8, 2020
Where Naples
Abstract Registration Due May 7, 2020
Submission Deadline May 15, 2020
Notification Due Jun 20, 2020
Final Version Due Jul 10, 2020
Categories    computer science   security   software engineering   testing
 

Call For Papers

Aims and Scope of the Conference

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 conference will also encourage the submission of research works and the discussion on security testing, with particular attention to continuous
security assessment, security review, certification compliance and penetration testing techniques and methodologies.

------------------------------------------------------------------------------------
Topics of Interest

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.
• 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 modelbased testing: test generation from models, model-based oracles. Scalability, traceability, quantification issues.
• 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.
• Automated support of any parts of the testing activities, testing processes, test-driven development, sound metrics and measurements.
• 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 aspects and case studies: Communicating systems such as cyber-physical 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.

---------------------------------------------------------------------------------------
Paper Submission

IFIP-ICTSS 2020 welcomes:
• Short papers or work-in-progress papers (up to 6 pages plus at most 1 extra page for references in the one-column Springer LNCS format) describing academic work in progress or tool implementations, as well as testing processes, achievements and feedbacks on testing methods for industrial case studies.
• Full papers (12 to 15 pages plus at most 2 extra pages for references in the one-column Springer LNCS format) describing original research contributions with sufficient evidence for the interest of the proposed approach.
The proceedings of the conference will be published in Springer’s Lecture Notes in Computer Science series, and therefore exported to all major indexing databases as ISI (Web of Science), Scopus, DBLP, ACM Digital Library, etc.

The submission link is the following:
https://easychair.org/my/conference?conf=ifipictss2020#

The proceedings of the conference will be published in Springer’s Lecture Notes in Computer Science series, and therefore exported to all major indexing databases as ISI (Web of Science), Scopus, DBLP, ACM Digital Library, etc.

IFIP-ICTSS 2020 is supported by IFIP and Springer. Authors will need to sign a copyright transfer form to transfer usage rights on their papers to IFIP and Springer.

---------------------------------------------------------------------------------------
Important Dates

Abstract submission Deadline: August 1st 2020
Paper submission Deadline: August 10th 2020
Author Notification: September 15th, 2020
Camera-Ready Papers Due: October 5th, 2020
Conference: December 9th-11th, 2020

---------------------------------------------------------------------------------------
Contacts

Valentina Casola: valentina.casola@unina.it
Alessandra De Benedictis: alessandra.debenedictis@unina.it

Related Resources

SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
DSN 2024   The 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
IFIP Networking 2024   The International Federation for Information Processing (IFIP) Networking 2023 Conference
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
I3E 2024   23rd IFIP Conference e-Business, e-Services, and e-Society
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex