| 2013 | 0-1 Programming Model-Based Method for Planning Code Review Using Bug Fix History. | Hirohisa Aman |
| 2013 | Modeling Security Threat Patterns to Derive Negative Scenarios. | Tatsuya Abe, Shinpei Hayashi, Motoshi Saeki |
| 2013 | An Action-Oriented Programming Model for Pervasive Computing in a Device Cloud. | Timo Aaltonen, Varvana Myllrniemi, Mikko Raatikainen, Niko Mkitalo, Jari Pkk |
| 2012 | Semi-static Detection of Runtime Type Errors in Component-Based Java Programs. | Xiaowei Zhou, Wenbo Zhang, Jianhua Zhang |
| 2012 | Towards Generating Local High-Coverage Tests for Evolving Software. | Yi Zhou, Mengxiang Lin, Yang Lu, Xiaomei Hou |
| 2012 | A Stochastic Simulation Model for Risk Management Process. | Peng Zhou, Hareton K. N. Leung |
| 2012 | An Integrated Risk Analysis Method Using Spatial Interpolation. | Peng Zhou, Hareton K. N. Leung |
| 2012 | An Interval-Based Model for Detecting Software Defect Using Alias Analysis. | Hongbo Zhou, Dahai Jin, Yunzhan Gong |
| 2012 | Assessing the Representativeness of Open Source Projects in Empirical Software Engineering Studies. | Hao Zhong, Ye Yang, Jacky W. Keung |
| 2012 | Permission Assurance for Semantic Aspects of Design Patterns. | Yang Zhao, Lingnan Song, Gongxuan Zhang, John Boyland |
| 2012 | Query by Drawing Examples of UML Model. | Xuelin Zhang, Tian Zhang, Xuandong Li |
| 2012 | Hybrid Interface Automata. | Yan Zhang, Tian Zhang |
| 2012 | Resynchronizing Model-Based Self-Adaptive Systems with Environments. | Linghao Zhang, Chang Xu, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, Jian Lu |
| 2012 | Towards Tool Integration through Artifacts and Roles. | Weiqing Zhang, Vincent Leilde, Birger Mller-Pedersen, Jol Champeau, Christophe Guychard |
| 2012 | Evaluation Metric for Multiple-Bug Localization with Simple and Complex Predicates. | Yiwei Zhang, Eric Lo, Ben Kao |
| 2012 | Using Monterey Phoenix to Formalize and Verify System Architectures. | Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong |
| 2012 | Augmenting Product Lines. | Xiaorui Zhang, ystein Haugen, Birger Mller-Pedersen |
| 2012 | An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification. | Fauziah binti Zainuddin, Shaoying Liu |
| 2012 | Understanding the Effects of Code Clones on Modularity in Software Systems. | Liguo Yu, Srini Ramaswamy, A. Vaidyanathan |
| 2012 | Constructing Traceability between Features and Requirements for Software Product Line Engineering. | Dongjin Yu, Peng Geng, Wei Wu |
| 2012 | An Experience Report on Analyzing Industrial Software Systems Using Code Clone Detection Techniques. | Norihiro Yoshida, Yoshiki Higo, Shinji Kusumoto, Katsuro Inoue |
| 2012 | BuOA: An Achitecture Style for Modular Web Applications. | Wei Ye, Ruici Luo, Shikun Zhang, Xueyang Liu, Wenhui Hu |
| 2012 | Linking Functions and Quality Attributes for Software Evolution. | Hongji Yang, Shang Zheng, William Cheng-Chung Chu, Ching-Tsorng Tsai |
| 2012 | Understanding OSS Peer Review Roles in Peer Review Social Network (PeRSoN). | Xin Yang, Raula Gaikovina Kula, Ana Erika Camargo Cruz, Norihiro Yoshida, Kazuki Hamasaki, Kenji Fujiwara, Hajimu Iida |
| 2012 | The Case for Using Simulation to Validate Event-B Specifications. | Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquires |