Vol. 63, No. 2, May 2017

Table of Contents

Front page:


Society Announcements:


Members & Chapters:

Dallas Chapter Activities:

Boston Chapter Activities:


RS Events & News:


Links:

Reliability Society Home

RS Newsletter Homepage

Call for Paper

IEEE Transactions on Reliability
Special Section on Software Testing and Program Analysis

W. Eric Wong
Editor-in-Chief,
IEEE Transactions on Reliability
&
Member of RS Administrative Committee

Software plays an integral part in our everyday lives today because of its near ubiquitous influence in our increasingly technological society. Therefore, taking appropriate steps to improve software quality is of paramount importance. This has fueled the demand for techniques within software testing and program analysis.

To meet the demand, there has been a surge in the development and study of techniques such as test case generation, static and dynamic program analysis, and test case prioritization. However, these techniques are still suffering from immaturity and impracticality. Test case generation can hardly be automated; efficiency and state-explosion are still the biggest concerns for most program analysis; and the effectiveness of test case prioritization is still based on small empirical comparisons. Furthermore, the vast majority of empirical studies available on the subject of software testing and program analysis are lab-based. Consequently, researchers typically evaluate their techniques based on simplified assumptions and selected subject programs that do not reflect the complexity of large-scale, industrial software. These shortcomings have prevented contemporary software testing and program analysis techniques from yielding meaningful benefit to software in the real world.

In this context, IEEE Transactions on Reliability will have a special section soliciting original work in software testing and program analysis that provides novel theoretical contribution or comprehensive empirical validation to show the application of existing techniques to industry applications. Papers will be reviewed and selected based on their innovation, technical correctness, presentation, and practical relevance.

Topics

The topics of interest include, but are not limited to, the following:

  • Theoretical foundations of software testing and static/dynamic program analysis
  • Model- and specification-based testing and analysis
  • Effectiveness and efficiency of test case generation
  • Regression testing and test case prioritization
  • Test adequacy and coverage-based testing
  • Test oracles and runtime verification
  • Mutation testing and analysis
  • Functional and nonfunctional testing
  • Fault localization and program repair
  • Cloud and web-based testing and analysis
  • Testing and analysis for security, safety, big data, and IoT applications
  • Testing and analysis tools and applications
  • Software measurement and prediction
  • Code clone analysis and management
  • Case studies, benchmark work, and industrial practice

Submission

We welcome high quality submissions that are original work, not published, and not currently submitted elsewhere. We also encourage extensions to conference papers, unless prohibited by copyright, if there is a significant difference in the technical content and does not involve self-plagiarism. Each submission must conform to the two-column publication format of IEEE Transactions on Reliability with all figures and tables embedded in the text rather than appended at the end after references.

Important Dates

Submission deadline: August 1, 2017

Guest Editors

Editor-in-Chief

General Inquiries

Send emails to the Lead Guest Editor at Yves.LeTraon@uni.lu.