| 2011 | 18th Asia Pacific Software Engineering Conference, APSEC 2011, Ho Chi Minh, Vietnam, December 5-8, 2011 Tran Dan Thu, Karl R. P. H. Leung |
| 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 | A Concept Lattice for Recognition of User Problems in Real User Monitoring. Katsunori Oyama, Atsushi Takeuchi, Ming Hua, Carl K. Chang |
| 2011 | A Design Map for Recording Precise Architecture Decisions. Atsushi Sawada, Masami Noro, Han-Myung Chang, Yoshinari Hachisu, Atsushi Yoshida |
| 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 |
| 2011 | A Simultaneous Project Scheduling and Resource Binding Method Based on the Load-Capacity Model. Akinori Saito, Takumi Kusanagi, Koichiro Ochimizu |
| 2011 | A State Machine Analysis Support System Based on the Problem Frames. Osamu Shigo, Kaoru Yokoyama |
| 2011 | AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics. Dajiang Suo, Jinxia An, Jihong Zhu |
| 2011 | An Architecture of Dynamically Adaptive PHP-based Web Applications. Shin Nakajima |
| 2011 | An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool. Alberto Bastias, Sidharth Bihary, Suman Roy |
| 2011 | Applying Fellegi-Sunter (FS) Model for Traceability Link Recovery between Bug Databases and Version Archives. Ashish Sureka, Sangeeta Lal, Lucky Agarwal |
| 2011 | Architecture-Centric Model-Driven Web Engineering. Eban Escott, Paul A. Strooper, Jörn Guy Süß, Paul King |
| 2011 | Aspects and Annotations for Controlling the Roles Application Classes Play for Design Patterns. Rosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana |
| 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 | Automated Verification of Load Tests Using Control Charts. Thanh H. D. Nguyen, Bram Adams, Zhen Ming Jiang, Ahmed E. Hassan, Mohamed N. Nasser, Parminder Flora |
| 2011 | CMCD: Count Matrix Based Code Clone Detection. Yang Yuan, Yao Guo |
| 2011 | Causal Factors, Benefits and Challenges of Test-Driven Development: Practitioner Perceptions. Jim Buchan, Ling Li, Stephen G. MacDonell |
| 2011 | Conformance Testing for OSEK/VDX Operating System Using Model Checking. Jiang Chen, Toshiaki Aoki |
| 2011 | DREX: Developer Recommendation with K-Nearest-Neighbor Search and Expertise Ranking. Wenjin Wu, Wen Zhang, Ye Yang, Qing Wang |
| 2011 | Derivation and Formal Verification of a Mode Logic for Layered Control Systems. Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala |
| 2011 | Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. Boutheina Bannour, Christophe Gaston, David Servat |
| 2011 | Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol |
| 2011 | Executable and Translatable UML - How Difficult Can it Be? Håkan Burden, Rogardt Heldal, Toni Siljamäki |
| 2011 | Extraction of Attribute Dependency Graph from Database Applications. Kaiping Liu, Hee Beng Kuan Tan, Xu Chen |
| 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 | Illusions and Perceptions of Transparency in Software Engineering. Yu-Cheng Tu, Clark D. Thomborson, Ewan D. Tempero |
| 2011 | Integrating Model-Based Testing in Model-Driven Web Engineering. Eban Escott, Paul A. Strooper, Jim Steel, Paul King |
| 2011 | Intrusive Test Automation with Failed Test Case Clustering. Chien-Hsin Hsueh, Yung-Pin Cheng, Wei-Cheng Pan |
| 2011 | Memory Leak Detection Based on Memory State Transition Graph. Zhenbo Xu, Jian Zhang, Zhongxing Xu |
| 2011 | Modeling Timing Requirements in Problem Frames Using CCSL. Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin |
| 2011 | Object Oriented Software Clustering Based on Community Structure. Ural Erdemir, Umut Tekin, Feza Buzluca |
| 2011 | Optimal Scheduling of Software Projects Using Reinforcement Learning. Frank Padberg, David Weiss |
| 2011 | Proving Non-interference on Reachability Properties: A Refinement Approach. Marc Frappier, Amel Mammar |
| 2011 | Recommending Proper API Code Examples for Documentation Purpose. Lee Wei Mar, Ye-Chi Wu, Hewijin Christine Jiau |
| 2011 | Requirements Maturation Analysis by Accessibility and Stability. Takako Nakatani, Toshihiko Tsumaki, Michio Tsuda, Mari Inoki, Shouzo Hori, Keiichi Katamine |
| 2011 | RobusTest: A Framework for Automated Testing of Software Robustness. Ali Shahrokni, Robert Feldt |
| 2011 | STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic. Yunshan Zhao, Yawen Wang, Yunzhan Gong, Honghe Chen, Qing Xiao, Zhaohong Yang |
| 2011 | Stepwise Validation of Formal Specifications. Atif Mashkoor, Jean-Pierre Jacquot |
| 2011 | Techniques for Analysing PDF Malware. Caglar Ulucenk, Vijay Varadharajan, Venkatesan Balakrishnan, Udaya Kiran Tupakula |
| 2011 | Toward Inconsistency Awareness in Collaborative Software Development. Thi Thanh Huyen Phan, Koichiro Ochimizu |
| 2011 | Towards a Framework for the Application of Model-Driven Development in Situational Method Engineering. Zahra Zohrevand, Yusef Mehrdad Bibalan, Raman Ramsin |
| 2011 | Towards a Tool-Supported Approach for Collaborative Process Modeling and Enactment. Komlan Akpédjé Kedji, Minh Tu Ton That, Bernard Coulette, Rédouane Lbath, Hanh Nhi Tran, Mahmoud Nassar |
| 2011 | Understanding Source Code Differences by Separating Refactoring Effects. Sirinut Thangthumachit, Shinpei Hayashi, Motoshi Saeki |
| 2011 | Use Cases Modeling for Scalable Model-Checking. Amine Raji, Philippe Dhaussy |
| 2011 | Using Variability Models to Reduce Verification Effort of Train Station Models. Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen |
| 2011 | Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming. Xin Dong, Qiusong Yang, Qing Wang, Jian Zhai, Günther Ruhe |
| 2011 | Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. Björn Bartels, Sabine Glesner |
| 2011 | VisTML: A Visual Modeling Language for Model Transformation. Xiao He, Zhiyi Ma, Yi Liu, Hongjie Chen, Weizhong Shao |