Call for papers, Effective Program Analysis and Testing for Modern Software Development

Modern software systems are complex, and they evolve rapidly. It is key but challenging to ensure that modern software is of high quality. Software analysis and testing techniques are crucial for quality assurance. They are used throughout the software development process, covering areas such as bug finding, vulnerability detection, fault localization, security analysis, testing, and debugging. Recent intelligence-based approaches provide new opportunities and solutions for effective software development. Research of analysis and testing techniques for modern software development is of great scientific and practical value, as it provides important means for software quality enhancement.

Aims and Scope

This special issue is aimed at addressing core challenges for modern software development with a focus on attracting methodological and technical solutions for the analysis and testing of modern software. We hope to bring together expertise of software analysis and testing from both academia and industry for the quality assurance and enhancement of modern software.

Topics of interest include (but are not limited to):

  • Program analysis
  • Software testing
  • Fault localization
  • Program repair and debugging
  • Vulnerability detection
  • Fuzzing
  • Security analysis
  • Automated test generation
  • Performance testing and analysis
  • Human factors in testing

Deadline

Submission deadline: Jan 31st, 2025

Review deadline: Mar 14th, 2025

Author revision: Apr 25th, 2025

Final notification: May 16th, 2025

How to Submit

Submitted papers should present original, unpublished work, relevant to one of the topics of the Special Issue. All submitted papers will be evaluated on the basis of relevance, significance of contribution, technical quality, scholarship, and quality of presentation, by at least two independent reviewers. It is the policy of the journal that no submission, or substantially overlapping submission, be published or be under review at another journal or conference at any time during the review process.

Submission link: https://link.springer.com/journal/10515/updates/27060282

Guest Editors

Qi Xin, School of Computer Science, Wuhan University, https://qixin5.github.io

Aldeida Aleti, Department of Software Systems & Cybersecurity, Monash Data Futures Institute, https://users.monash.edu.au/~aldeidaa

Liqian Chen, School of Computer Science, National University of Defense Technology, https://lqchen.github.io

Hongyu Zhang, School of Big Data & Software Engineering, Chongqing University, https://sites.google.com/site/hongyujohn

Jifeng Xuan, School of Computer Science, Wuhan University, http://jifeng-xuan.com