| 2009 | A Light-Weight Formal Approach for Modeling, Verifying and Integrating Role-Based Access Control Requirements. | Saad Zafar |
| 2009 | Program Sifting: Select Property-Related Functions for Language-Based Static Analysis. | Kai Yu, Cong Wang, Yin-li Chen, Mengxiang Lin |
| 2009 | Scheduling Test Execution of WBEM Applications. | Lian Yu, Yu Su, Qianxing Wang |
| 2009 | Identifying Fragments to be Extracted from Long Methods. | Limei Yang, Hui Liu, Zhendong Niu |
| 2009 | Directed Test Suite Augmentation. | Zhihong Xu, Gregg Rothermel |
| 2009 | Improve Analogy-Based Software Effort Estimation Using Principal Components Analysis and Correlation Weighting. | Jianfeng Wen, Shixian Li, Linyan Tang |
| 2009 | Web Services Composition by I/O Data Structure Correspondences. | Qiushi Wang, Osamu Shigo |
| 2009 | Fault Localization Based on Multi-level Similarity of Execution Traces. | Xinping Wang, Qing Gu, Xin Zhang, Xiang Chen, Daoxu Chen |
| 2009 | Checking Model Consistency Using Data-Flow Testing. | Chen-Wei Wang, Alessandra Cavarra |
| 2009 | An Efficient Context-Based User Interface by Exploiting Temporality of Attributes. | Mittapally Kumara Swamy, Krishna Reddy Polepalli |
| 2009 | Modeling Access Control Requirements in Feature Model. | Lianshan Sun, Gang Huang |
| 2009 | A Graph Based Approach to Detecting Causes of Implied Scenarios under the Asynchronous and Synchronous Communication Styles. | In-Gwon Song, Sang-Uk Jeon, Doo-Hwan Bae |
| 2009 | Re-defining the Requirements Engineering Process Improvement Model. | Badariah Solemon, Shamsul Sahibuddin, Abdul Azim Abdul Ghani |
| 2009 | Investigating the Effect of Pair Programming and Software Size on Software Quality and Programmer Productivity. | Raymund Sison |
| 2009 | Extracting High-Level Functional Design from Software Requirements. | Vibhu Saujanya Sharma, Santonu Sarkar, Kunal Verma, Arun Panayappan, Alex Kass |
| 2009 | Improving the Accuracy of Software Effort Estimation Based on Multiple Least Square Regression Models by Estimation Error-Based Data Partitioning. | Yeong-Seok Seo, Kyung-A Yoon, Doo-Hwan Bae |
| 2009 | Contribution-Based Call Stack Abstraction and Its Application in Pointer Analysis of AspectJ Programs. | Ju Qian, Zifeng Cui, Baowen Xu, Xiaofang Zhang |
| 2009 | Composition Analysis of Multiple Aspects in Aspect-Oriented Programs. | Nafees Qamar |
| 2009 | An Effective Path Selection Strategy for Mutation Testing. | Mike Papadakis, Nicos Malevris |
| 2009 | Identifying Stagnation Periods in Software Evolution by Replaying Editing Operations. | Takayuki Omori, Katsuhisa Maruyama |
| 2009 | Sequence Diagram Slicing. | Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa, Shinichiro Yamamoto |
| 2009 | Assessing and Estimating Corrective, Enhancive, and Reductive Maintenance Tasks: A Controlled Experiment. | Vu Nguyen, Barry W. Boehm, Phongphan Danphitsanuphan |
| 2009 | Spectral Debugging with Weights and Incremental Ranking. | Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao |
| 2009 | A Push for Software Process Improvement in Thailand. | Pornchai Mongkolnam, Udom Silparcha, Narongrit Waraporn, Vajirasak Vanijja |
| 2009 | Towards Automated Verification of Distributed Consensus Protocols. | Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno |