| 2011 | Recommending Proper API Code Examples for Documentation Purpose. | Lee Wei Mar, Ye-Chi Wu, Hewijin Christine Jiau |
| 2011 | Extraction of Attribute Dependency Graph from Database Applications. | Kaiping Liu, Hee Beng Kuan Tan, Xu Chen |
| 2011 | A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. | Shaoying Liu, Shin Nakajima |
| 2011 | A Case Study of Measuring Degeneration of Software Architectures from a Defect Perspective. | Zude Li, Jun Long |
| 2011 | Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. | Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda |
| 2011 | Towards a Tool-Supported Approach for Collaborative Process Modeling and Enactment. | Komlan Akpdj Kedji, Minh Tu Ton That, Bernard Coulette, Rdouane Lbath, Hanh Nhi Tran, Mahmoud Nassar |
| 2011 | Intrusive Test Automation with Failed Test Case Clustering. | Chien-Hsin Hsueh, Yung-Pin Cheng, Wei-Cheng Pan |
| 2011 | VisTML: A Visual Modeling Language for Model Transformation. | Xiao He, Zhiyi Ma, Yi Liu, Hongjie Chen, Weizhong Shao |
| 2011 | Aspects and Annotations for Controlling the Roles Application Classes Play for Design Patterns. | Rosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana |
| 2011 | Proving Non-interference on Reachability Properties: A Refinement Approach. | Marc Frappier, Amel Mammar |
| 2011 | Integrating Model-Based Testing in Model-Driven Web Engineering. | Eban Escott, Paul A. Strooper, Jim Steel, Paul King |
| 2011 | Architecture-Centric Model-Driven Web Engineering. | Eban Escott, Paul A. Strooper, Jrn Guy S, Paul King |
| 2011 | Object Oriented Software Clustering Based on Community Structure. | Ural Erdemir, Umut Tekin, Feza Buzluca |
| 2011 | Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming. | Xin Dong, Qiusong Yang, Qing Wang, Jian Zhai, Gnther Ruhe |
| 2011 | Assessing Teamwork Performance in Software Engineering Education: A Case in a Software Engineering Undergraduate Course. | Jian Chen, Guoyong Qiu, Liu Yuan, Li Zhang, Gang Lu |
| 2011 | Modeling Timing Requirements in Problem Frames Using CCSL. | Xiaohong Chen, Jing Liu, Frdric Mallet, Zhi Jin |
| 2011 | Conformance Testing for OSEK/VDX Operating System Using Model Checking. | Jiang Chen, Toshiaki Aoki |
| 2011 | Executable and Translatable UML - How Difficult Can it Be? | Hkan Burden, Rogardt Heldal, Toni Siljamki |
| 2011 | Causal Factors, Benefits and Challenges of Test-Driven Development: Practitioner Perceptions. | Jim Buchan, Ling Li, Stephen G. MacDonell |
| 2011 | An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool. | Alberto Bastias, Sidharth Bihary, Suman Roy |
| 2011 | Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. | Bjrn Bartels, Sabine Glesner |
| 2011 | Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. | Boutheina Bannour, Christophe Gaston, David Servat |
| 2011 | A Design Methodology for Real-Time Distributed Software Architecture Based on the Behavioral Properties and Its Application to Advanced Automotive Software. | Mikio Aoyama, Hayaki Tanabe |
| 2011 | A Method to Derive Software Architectures from Quality Requirements. | Azadeh Alebrahim, Denis Hatebur, Maritta Heisel |
| 2010 | The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation. | Meixia Zhu, Hanpin Wang, Yongzhi Cao, Zizhen Wang, Wei Jin |