| 2011 | Towards a Framework for the Application of Model-Driven Development in Situational Method Engineering. | Zahra Zohrevand, Yusef Mehrdad Bibalan, Raman Ramsin |
| 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 | CMCD: Count Matrix Based Code Clone Detection. | Yang Yuan, Yao Guo |
| 2011 | Memory Leak Detection Based on Memory State Transition Graph. | Zhenbo Xu, Jian Zhang, Zhongxing Xu |
| 2011 | DREX: Developer Recommendation with K-Nearest-Neighbor Search and Expertise Ranking. | Wenjin Wu, Wen Zhang, Ye Yang, Qing Wang |
| 2011 | Techniques for Analysing PDF Malware. | Caglar Ulucenk, Vijay Varadharajan, Venkatesan Balakrishnan, Udaya Kiran Tupakula |
| 2011 | Illusions and Perceptions of Transparency in Software Engineering. | Yu-Cheng Tu, Clark D. Thomborson, Ewan D. Tempero |
| 2011 | Understanding Source Code Differences by Separating Refactoring Effects. | Sirinut Thangthumachit, Shinpei Hayashi, Motoshi Saeki |
| 2011 | Using Variability Models to Reduce Verification Effort of Train Station Models. | Andreas Svendsen, ystein Haugen, Birger Mller-Pedersen |
| 2011 | Applying Fellegi-Sunter (FS) Model for Traceability Link Recovery between Bug Databases and Version Archives. | Ashish Sureka, Sangeeta Lal, Lucky Agarwal |
| 2011 | AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics. | Dajiang Suo, Jinxia An, Jihong Zhu |
| 2011 | Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. | Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol |
| 2011 | A State Machine Analysis Support System Based on the Problem Frames. | Osamu Shigo, Kaoru Yokoyama |
| 2011 | RobusTest: A Framework for Automated Testing of Software Robustness. | Ali Shahrokni, Robert Feldt |
| 2011 | A Design Map for Recording Precise Architecture Decisions. | Atsushi Sawada, Masami Noro, Han-Myung Chang, Yoshinari Hachisu, Atsushi Yoshida |
| 2011 | A Simultaneous Project Scheduling and Resource Binding Method Based on the Load-Capacity Model. | Akinori Saito, Takumi Kusanagi, Koichiro Ochimizu |
| 2011 | Use Cases Modeling for Scalable Model-Checking. | Amine Raji, Philippe Dhaussy |
| 2011 | Derivation and Formal Verification of a Mode Logic for Layered Control Systems. | Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala |
| 2011 | Toward Inconsistency Awareness in Collaborative Software Development. | Thi Thanh Huyen Phan, Koichiro Ochimizu |
| 2011 | Optimal Scheduling of Software Projects Using Reinforcement Learning. | Frank Padberg, David Weiss |
| 2011 | A Concept Lattice for Recognition of User Problems in Real User Monitoring. | Katsunori Oyama, Atsushi Takeuchi, Ming Hua, Carl K. Chang |
| 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 | Requirements Maturation Analysis by Accessibility and Stability. | Takako Nakatani, Toshihiko Tsumaki, Michio Tsuda, Mari Inoki, Shouzo Hori, Keiichi Katamine |
| 2011 | An Architecture of Dynamically Adaptive PHP-based Web Applications. | Shin Nakajima |
| 2011 | Stepwise Validation of Formal Specifications. | Atif Mashkoor, Jean-Pierre Jacquot |