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: |
Call for Paper
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:
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. |