| 2014 | A Systematic Approach for Software Interference Analysis. | Bastian Zimmer, Christoph Dropmann, Jochen Ulrich Hanger |
| 2014 | Handling Soft Error in Embedded Software for Networking System. | Haihong Henry Zhu |
| 2014 | A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. | Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Wei Dong |
| 2014 | Software Maintenance Optimization Based on Stackelberg Game Methods. | Jing Zhao, Yanbin Wang, Gao-Rong Ning, Cheng-Hong Wang, Kishor S. Trivedi, Kai-Yuan Cai, Zhenyu Zhang |
| 2014 | An Empirical Study on the Scalability of Selective Mutation Testing. | Jie Zhang, Muyao Zhu, Dan Hao, Lu Zhang |
| 2014 | Program Logic Based Software Plagiarism Detection. | Fangfang Zhang, Dinghao Wu, Peng Liu, Sencun Zhu |
| 2014 | A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study. | Junbeom Yoo, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee |
| 2014 | Norming to Performing: Failure Analysis and Deployment Automation of Big Data Software Developed by Highly Iterative Models. | Keun Soo Yim |
| 2014 | WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions. | Ding Ye, Yu Su, Yulei Sui, Jingling Xue |
| 2014 | A Practice of Forecasting Software Aging in an IIS Web Server Using SVM. | Yongquan Yan, Ping Guo, Lifeng Liu |
| 2014 | A Novel Hybridization of Artificial Neural Networks and ARIMA Models for Forecasting Resource Consumption in an IIS Web Server. | Yongquan Yan, Ping Guo, Lifeng Liu |
| 2014 | An Evaluation of Assuring Test Case Sufficiency Using a D-Case Pattern. | Shuichiro Yamamoto, Shuji Morisaki |
| 2014 | Is Cut Sequence Necessary in Dynamic Fault Trees? | Jianwen Xiang, Fumio Machida, Kumiko Tadano, Shigeru Hosono |
| 2014 | Program Debugging: Research and Practice. | W. Eric Wong |
| 2014 | Safety ADD: A Tool for Safety-Contract Based Design. | Fredrik Warg, Benjamin Vedder, Martin A. Skoglund, Andreas Sderberg |
| 2014 | Detection and Analysis of Performance Deterioration in Mobile Offloading System. | Qiushi Wang, Katinka Wolter |
| 2014 | A Memory Model Based on Three-Valued Matrix for Static Defect Detection. | Qian Wang, Dahai Jin, Yunzhan Gong |
| 2014 | Predicting Vulnerable Components: Software Metrics vs Text Mining. | James Walden, Jeff Stuckman, Riccardo Scandariato |
| 2014 | Risk Management for Outsourcing to the Cloud: Security Risks and Safeguards as Selection Criteria for Extern Cloud Services. | Johannes Viehmann |
| 2014 | Supporting Decision-Making for Biometric System Deployment through Visual Analysis. | Cagatay Turkay, Stephen Mason, Ilir Gashi, Bojan Cukic |
| 2014 | A Formal Method Applied to the Automated Software Engineering with Quality Guarantees. | Marcelo Teixeira, Richardson Ribeiro, Marco A. C. Barbosa, Luciene Marin |
| 2014 | A Supplemental Notation of GSN Aiming for Dealing with Changes of Assurance Cases. | Toshinori Takai, Hiroyuki Kido |
| 2014 | Mining Security Vulnerabilities from Linux Distribution Metadata. | Jeffrey Stuckman, James Purtilo |
| 2014 | Assessment Techniques, Certification and [What Else We Need for] Confidence in Software. | Lorenzo Strigini |
| 2014 | Integrating the Security Aspect into Design Space Exploration of Embedded Systems. | Ingo Stierand, Sunil Malipatlolla, Sibylle Frschle, Alexander Sthring, Stefan Henkler |