Guest Editorial: A Retrospective of Special Sections on Software Testing and Program Analysis

• Published in: IEEE transactions on reliability Vol. 70; no. 2; pp. 443 - 445
• Main Authors: Tse, T. H., Traon, Yves Le, Chen, Zhenyu
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.06.2021; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Demand analysis; Empirical analysis; Program verification (computers); Software quality; Software reliability; Software systems; Software testing; Special issues and sections; Workflow management software
• ISSN: 0018-9529; 1558-1721; 1558-1721
• DOI: 10.1109/TR.2021.3083375

Software plays an integral part in our lives today because of its near-ubiquitous influence on our increasingly technological society. Taking appropriate steps to improve software quality is of paramount importance. This has fueled a surge of techniques in program testing and analysis. Unfortunately, these techniques still suffer from immaturity and impracticality, which have hindered truthful benefits to the software industry. The Special Sections on Software Testing and Program Analysis solicited original work that would provide novel techniques and/or comprehensive empirical validation applicable to real-world software. We successfully attracted more than 70 submissions covering diverse hot topics. After rigorous evaluations by hard-working reviewers, possibly with recommendations for major and minor revisions, we have published 26 articles in five issues of the IEEE Transactions on Reliability in June, September, and December 2018, January 2019, and June 2021. The articles represent a comprehensive cross section of testing and analysis techniques, as well as a wide variety of applications to practical projects. The present retrospective provides readers with interesting details about our great success and a small challenge.