ICT Verification and Validation Track: International Conference on the Quality of Information and Communications Technology
V&V track@QUATIC 2021
- URL: https://2021.quatic.org/thematic-tracks/verification-and-validation
- Event Date: 2021-09-08 ~ 2021-09-11
- Submission Date: 2021-04-20
******************************************************************
QUATIC 2021: International Conference on the Quality of Information and Communications Technology
Track: ICT Verification and Validation
Online Conference
September, 8-11, 2021
Website: https://2021.quatic.org/thematic-tracks/verification-and-validation
======
Modern software technologies pose many challenges to the development of Verification and Validation (V&V) solutions. On the one hand, software processes are evolving towards new continuous development and testing practices where software has to be developed and deployed quickly to fulfill the strict requirements of competitive customers. This requires new cost-effective V&V solutions that go side by side with software development advances. On the other hand, the ICT systems become more and more complex and new classes of systems, such as self-adaptive systems or systems of systems, are attracting a growing research interest. These systems make V&V activities more challenging, due to their highly dynamic and configurable nature. From these trends, the need arises of increasing the research activity on V&V of ICT systems, so as to guarantee high quality assurance of the complex software systems, and improve the efficiency and effectiveness of the software development process, while reducing the effort devoted to V&V.
The “ICT Verification and Validation” track of QUATIC'2021 represents an active forum inviting both researchers and practitioners to present and discuss their recent achievements in V&V, novel V&V techniques and tools, empirical V&V studies and V&V success stories or any other form of original research contribution.
TOPICS
Suggested topics of interest include, but are not limited to, the following:
• Requirement-based and model-based testing
• Approaches and tools for formal verification and model checking
• Techniques and tools for functional and non-functional assessment
• Manual testing practices and techniques
• Safety, security and privacy testing
• Software quality metrics
• Quality assurance in agile methodologies and continuous delivery
• Search-based and machine learning approaches to testing
• Software reliability and resilience
• Test automation
• Dynamic/runtime/online V&V techniques
• Fault localization
• Program analysis techniques
• Scalability and practical applicability of testing
• Theory of software analysis and testing
• Software certification
• V&V in specific domains, such as healthcare, telecommunication, cloud computing, mobile, big data, automotive, cyber-physical systems, Internet of Things, education, social network, etc.
• Applications, experiences, case studies on V&V
• Perspectives, challenges and issues in V&V
======
TRACK COMMITTEE
Chair: Francesca Lonetti, ISTI-CNR, Italy
Program Committee:
• Oum-Ei-Kheir Aktouf, Grenoble INP - LCIS, France
• Antonia Bertolino, ISTI-CNR, Italy
• Hyunsook Do, University of North Texas, USA
• Sigrid Eldh, Ericsson AB, Sweden
• M.J. Escalona, Universidad de Sevilla, Spain
• Francisco Gortázar, Universidad Rey Juan Carlos, Spain
• Maurizio Leotta, University of Genoa, Italy
• Breno Miranda, Universidade Federal de Pernambuco, Brazil
• Jesús Morán, Universidad de Oviedo, Spain
• Vânia de Oliveira Neves, Universidade Federal Fluminense, Brazil
• Patrizio Pelliccione, Gran Sasso Science Institute and Chalmers | Gothenburg University, Sweden
• Roberto Pietrantuono, Università degli Studi di Napoli Federico II, Italy
• Antonino Sabetta, SAP Labs, France
• Andreas Ulrich, Siemens, Germany
• Hong Zhu, Oxford Brookes University, UK
PUBLICATION
As with previous years, QUATIC'2021 proceedings will be published in a volume of Springer CCIS Series (Communications in Computer and Information Science). CCIS is abstracted/indexed in DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus. CCIS volumes are also submitted for inclusion in ISI Proceedings. The best papers will be invited to submit extended versions for a special issue with the Software Quality Journal.
======
IMPORTANT DATES
Full paper submission: April 20th 2021 (EXTENDED)
Notification for full papers: May 16th 2021 (EXTENDED)
Camera-ready (full papers): May 31st, 2021
Short papers submission: May 25th, 2021
Notification for Short papers: June 15th, 2021
Doctoral Symposium submissions: May 25th, 2021
Notification for Doctoral Symposium papers: June 15th, 2021
Camera-ready (short and Doctoral Symposium): June 30th, 2021
PAPER SUBMISSION INSTRUCTIONS
• Papers must be in Springer CCIS Format.
• Full papers must not exceed 14 pages, including figures, references, and appendices.
• Short papers must not exceed 8 pages.
• Authors should submit through EasyChair a PDF version of their paper without names and affiliations, or other elements that allow the authors' identification, to guarantee a double-blind review process.
• Submissions will be reviewed by at least three members of the track's Program Committee.
• Accepted papers will be included in the proceedings of QUATIC’2021 published by Springer CCIS series, subject to one of the authors registering for the conference.
• The iThenticate plagiarism checker software will be used to verify submissions' originality. Work without substantial new material or failing to follow length and formatting guidelines, will be desk rejected, and therefore will not be reviewed.
QUATIC 2021: International Conference on the Quality of Information and Communications Technology
Track: ICT Verification and Validation
Online Conference
September, 8-11, 2021
Website: https://2021.quatic.org/thematic-tracks/verification-and-validation
======
Modern software technologies pose many challenges to the development of Verification and Validation (V&V) solutions. On the one hand, software processes are evolving towards new continuous development and testing practices where software has to be developed and deployed quickly to fulfill the strict requirements of competitive customers. This requires new cost-effective V&V solutions that go side by side with software development advances. On the other hand, the ICT systems become more and more complex and new classes of systems, such as self-adaptive systems or systems of systems, are attracting a growing research interest. These systems make V&V activities more challenging, due to their highly dynamic and configurable nature. From these trends, the need arises of increasing the research activity on V&V of ICT systems, so as to guarantee high quality assurance of the complex software systems, and improve the efficiency and effectiveness of the software development process, while reducing the effort devoted to V&V.
The “ICT Verification and Validation” track of QUATIC'2021 represents an active forum inviting both researchers and practitioners to present and discuss their recent achievements in V&V, novel V&V techniques and tools, empirical V&V studies and V&V success stories or any other form of original research contribution.
TOPICS
Suggested topics of interest include, but are not limited to, the following:
• Requirement-based and model-based testing
• Approaches and tools for formal verification and model checking
• Techniques and tools for functional and non-functional assessment
• Manual testing practices and techniques
• Safety, security and privacy testing
• Software quality metrics
• Quality assurance in agile methodologies and continuous delivery
• Search-based and machine learning approaches to testing
• Software reliability and resilience
• Test automation
• Dynamic/runtime/online V&V techniques
• Fault localization
• Program analysis techniques
• Scalability and practical applicability of testing
• Theory of software analysis and testing
• Software certification
• V&V in specific domains, such as healthcare, telecommunication, cloud computing, mobile, big data, automotive, cyber-physical systems, Internet of Things, education, social network, etc.
• Applications, experiences, case studies on V&V
• Perspectives, challenges and issues in V&V
======
TRACK COMMITTEE
Chair: Francesca Lonetti, ISTI-CNR, Italy
Program Committee:
• Oum-Ei-Kheir Aktouf, Grenoble INP - LCIS, France
• Antonia Bertolino, ISTI-CNR, Italy
• Hyunsook Do, University of North Texas, USA
• Sigrid Eldh, Ericsson AB, Sweden
• M.J. Escalona, Universidad de Sevilla, Spain
• Francisco Gortázar, Universidad Rey Juan Carlos, Spain
• Maurizio Leotta, University of Genoa, Italy
• Breno Miranda, Universidade Federal de Pernambuco, Brazil
• Jesús Morán, Universidad de Oviedo, Spain
• Vânia de Oliveira Neves, Universidade Federal Fluminense, Brazil
• Patrizio Pelliccione, Gran Sasso Science Institute and Chalmers | Gothenburg University, Sweden
• Roberto Pietrantuono, Università degli Studi di Napoli Federico II, Italy
• Antonino Sabetta, SAP Labs, France
• Andreas Ulrich, Siemens, Germany
• Hong Zhu, Oxford Brookes University, UK
PUBLICATION
As with previous years, QUATIC'2021 proceedings will be published in a volume of Springer CCIS Series (Communications in Computer and Information Science). CCIS is abstracted/indexed in DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus. CCIS volumes are also submitted for inclusion in ISI Proceedings. The best papers will be invited to submit extended versions for a special issue with the Software Quality Journal.
======
IMPORTANT DATES
Full paper submission: April 20th 2021 (EXTENDED)
Notification for full papers: May 16th 2021 (EXTENDED)
Camera-ready (full papers): May 31st, 2021
Short papers submission: May 25th, 2021
Notification for Short papers: June 15th, 2021
Doctoral Symposium submissions: May 25th, 2021
Notification for Doctoral Symposium papers: June 15th, 2021
Camera-ready (short and Doctoral Symposium): June 30th, 2021
PAPER SUBMISSION INSTRUCTIONS
• Papers must be in Springer CCIS Format.
• Full papers must not exceed 14 pages, including figures, references, and appendices.
• Short papers must not exceed 8 pages.
• Authors should submit through EasyChair a PDF version of their paper without names and affiliations, or other elements that allow the authors' identification, to guarantee a double-blind review process.
• Submissions will be reviewed by at least three members of the track's Program Committee.
• Accepted papers will be included in the proceedings of QUATIC’2021 published by Springer CCIS series, subject to one of the authors registering for the conference.
• The iThenticate plagiarism checker software will be used to verify submissions' originality. Work without substantial new material or failing to follow length and formatting guidelines, will be desk rejected, and therefore will not be reviewed.
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
