| 2009 | A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. | Wissam Mallouli, Amel Mammar, Ana R. Cavalli |
| 2009 | Selecting Usability Evaluation Methods for Software Process Descriptions. | Mohd Naz'ri Mahrin, Paul A. Strooper, David A. Carrington |
| 2009 | Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition. | Bixin Li, Yu Zhou, Jun Pang |
| 2009 | Monitoring Composite Services with Universal Modal Sequence Diagrams. | Wenrui Li, Zhijian Wang |
| 2009 | Elicit the Requirements on Software Dependability: A Knowledge-Based Approach. | Chun Liu, Yue Wang, Zhi Jin |
| 2009 | Applying a Systematic Approach to Link Requirements and Testing: A Case Study. | Johanna Kukkanen, Kyosti Vakevainen, Marjo Kauppinen, Eero J. Uusitalo |
| 2009 | Test Coverage Metric for Two-Staged Language with Abstract Interpretation. | Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik, Chisu Wu, Kwangkeun Yi |
| 2009 | Critical Barriers for Offshore Software Development Outsourcing Vendors: A Systematic Literature Review. | Siffat Ullah Khan, Mahmood Niazi, Rashid Ahmad |
| 2009 | Analysis of Problems in Testing Practices. | Jussi Kasurinen, Ossi Taipale, Kari Smolander |
| 2009 | Performing Projection in Problem Frames Using Scenarios. | Zhi Jin, Xiaohong Chen, Didar Zowghi |
| 2009 | Avoiding Some Common Preprocessing Pitfalls with Feature Queries. | Stan Jarzabek, Yinxing Xue, Hongyu Zhang, Youpeng Lee |
| 2009 | Propagating Requirement Change into Software High Level Designs towards Resilient Software Evolution. | Noraini Ibrahim, Wan M. N. Wan-Kadir, Safaai Deris |
| 2009 | Hierarchical Understandability Assessment Model for Large-Scale OO System. | Jimin Hwa, Sukhee Lee, Yong Rae Kwon |
| 2009 | Risk Identification and Mitigation Processes for Using Scrum in Global Software Development: A Conceptual Framework. | Emam Hossain, Muhammad Ali Babar, Hye-young Paik, June M. Verner |
| 2009 | Problematic Code Clones Identification Using Multiple Detection Results. | Yoshiki Higo, Ken-ichi Sawa, Shinji Kusumoto |
| 2009 | Investigating the State of User Involvement in Practice. | Juho Heiskari, Laura Lehtola |
| 2009 | An Automatic Compliance Checking Approach for Software Processes. | Xiaoyang He, Jingang Guo, Yasha Wang, Ying Guo |
| 2009 | Modular Checking of C Programs Using SAT-Based Bounded Model Checker. | Yuusuke Hashimoto, Shin Nakajima |
| 2009 | Extracting Development Organization from Open Source Software. | Jongdae Han, Chisu Wu, Byungjeong Lee |
| 2009 | Requirements Identification and Representation in Software Product Line. | Shahliza Abd Halim, Dayang Norhayati Abang Jawawi, Safaai Deris |
| 2009 | Extracting Environmental Constraints to Make Reactive System Specifications Realizable. | Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki |
| 2009 | Search-Based Testing Guidance Using Dominances vs. Control Dependencies. | Ahmed S. Ghiduk |
| 2009 | On the Relationship between Different Size Measures in the Software Life Cycle. | igdem Gencel, Rogardt Heldal, Kenneth Lind |
| 2009 | Code Clone Graph Metrics for Detecting Diffused Code Clones. | Yoshihiko Fukushima, Raula Gaikovina Kula, Shinji Kawaguchi, Kyohei Fushida, Masataka Nagura, Hajimu Iida |
| 2009 | A Method for Modeling and Analyzing Fault-Tolerant Service Composition. | Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu |