Open Science Research Excellence

ICSVA 2020 : International Conference on Software Verification and Analysis

Amsterdam, The Netherlands
February 6 - 7, 2020

Conference Code: 20NL02ICSVA

Conference Proceedings

All submitted conference papers will be blind peer reviewed by three competent reviewers. The peer-reviewed conference proceedings are indexed in the Open Science Index, Google Scholar, Semantic Scholar, Zenedo, OpenAIRE, BASE, WorldCAT, Sherpa/RoMEO, and other index databases. Impact Factor Indicators.

Special Journal Issues

ICSVA 2020 has teamed up with the Special Journal Issue on Software Verification and Analysis. A number of selected high-impact full text papers will also be considered for the special journal issues. All submitted papers will have the opportunity to be considered for this Special Journal Issue. The paper selection will be carried out during the peer review process as well as at the conference presentation stage. Submitted papers must not be under consideration by any other journal or publication. The final decision for paper selection will be made based on peer review reports by the Guest Editors and the Editor-in-Chief jointly. Selected full-text papers will be published online free of charge.

Conference Sponsor and Exhibitor Opportunities

The Conference offers the opportunity to become a conference sponsor or exhibitor. To participate as a sponsor or exhibitor, please download and complete the Conference Sponsorship Request Form.

Important Dates

Abstracts/Full-Text Paper Submission Deadline   August 1, 2019
Notification of Acceptance/Rejection   August 15, 2019
Final Paper (Camera Ready) Submission & Early Bird Registration Deadline   January 7, 2020
Conference Dates   February 6 - 7, 2020

Important Notes

Please ensure your submission meets the conference's strict guidelines for accepting scholarly papers. Downloadable versions of the check list for Full-Text Papers and Abstract Papers.

Please refer to the Paper Submission GUIDE before submitting your paper.

Selected Conference Papers

1) A Cognitive Measurement of Complexity and Comprehension for Object-Oriented Code
Amit Kumar Jakhar, Kumar Rajnish
2) Cross Project Software Fault Prediction at Design Phase
Pradeep Singh, Shrish Verma
3) Towards the Use of Software Product Metrics as an Indicator for Measuring Mobile Applications Power Consumption
Ching Kin Keong, Koh Tieng Wei, Abdul Azim Abd. Ghani, Khaironi Yatim Sharif
4) Cognitive Weighted Polymorphism Factor: A Comprehension Augmented Complexity Metric
T. Francis Thamburaj, A. Aloysius
5) Empirical Analysis of the Reusability of Object-Oriented Program Code in Open-Source Software
Fathi Taibi
6) On Measuring the Reusability Proneness of Mobile Applications
Fathi Taibi
7) A Survey on Metric of Software Cognitive Complexity for OO design
A.Aloysius, L. Arockiam
8) Artificial Intelligence for Software Quality Improvement
Martín Agüero, Franco Madou, Gabriela Esperón, Daniela López De Luise
9) Evaluating Refactoring with a Quality Index
Crt Gerlec, Marjan Hericko
10) Object-Oriented Cognitive-Spatial Complexity Measures
Varun Gupta, Jitender Kumar Chhabra
11) A Metric Framework for Analysis of Quality of Object Oriented Design
Amandeep Kaur, Satwinder Singh, Dr. K. S. Kahlon
12) Software Maintenance Severity Prediction with Soft Computing Approach
E. Ardil, Erdem Uçar, Parvinder S. Sandhu
13) Predicting the Impact of the Defect on the Overall Environment in Function Based Systems
Parvinder S. Sandhu, Urvashi Malhotra, E. Ardil
14) A Metric-Set and Model Suggestion for Better Software Project Cost Estimation
Murat Ayyıldız, Oya Kalıpsız, Sırma Yavuz
15) A Comparative Analysis of Fuzzy, Neuro-Fuzzy and Fuzzy-GA Based Approaches for Software Reusability Evaluation
Parvinder Singh Sandhu, Dalwinder Singh Salaria, Hardeep Singh

Similar conferences about Computer and Systems Engineering