| 2013 | A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS. | Naiju Zeng, Wenhui Zhang |
| 2013 | Schedulability Analysis with CCSL Specifications. | Ling Yin, Jing Liu, Zuohua Ding, Frdric Mallet, Robert de Simone |
| 2013 | Mining GitHub: Why Commit Stops - Exploring the Relationship between Developer's Commit Pattern and File Version Evolution. | Weicheng Yang, Beijun Shen, Ben Xu |
| 2013 | Reasoning about Stakeholder Groups for Requirements Negotiation Based on Power Relationships. | Hui Yang, Peng Liang |
| 2013 | JeB: Safe Simulation of Event-B Models in JavaScript. | Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquires |
| 2013 | Seamless Code Reuse with Source Code Corpus. | Tetsuo Yamamoto, Norihiro Yoshida, Yoshiki Higo |
| 2013 | QoS-Based Service Composition under Various QoS Requirements. | Gang Wang, Li Zhang, Jing Jiang, Wei Jiang |
| 2013 | Null Dereference Detection via a Backward Analysis. | Qian Wang, Dahai Jin, Yunzhan Gong |
| 2013 | Cloud Service Brokers: An Emerging Trend in Cloud Adoption and Migration. | Bimlesh Wadhwa, Aditi Jaitly, Bharti Suri |
| 2013 | History and Lessons Learnt from a Metrics Program at a CMMI Level 3 Company. | Matthias Vianden, Horst Lichter, Simona Jeners, Karl-Joachim Neumann |
| 2013 | Preserving Correctness of Requirements Evolution through Refinement in Event-B. | Kriangkrai Traichaiyaporn, Toshiaki Aoki |
| 2013 | Grouping Objects for Execution Trace Analysis Based on Design Patterns. | Tatsuya Toda, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa |
| 2013 | A Controlled Experiment to Assess the Effectiveness of Eight Use Case Templates. | Saurabh Tiwari, Atul Gupta |
| 2013 | An Approach to Generate Safety Validation Test Cases from UML Activity Diagram. | Saurabh Tiwari, Atul Gupta |
| 2013 | Sky-MCSP-R: An Efficient Graph-Based Web Service Composition Approach. | Pengjiao Sun, Pengcheng Zhang, Wenrui Li, Xuejun Guo, Jun Feng |
| 2013 | Refining the Pointer Analysis by Exploiting Constraints on the CFL-Paths. | Xiaoshan Sun, Liang Cheng, Yang Zhang, Yi Deng, Jingbiao Hou |
| 2013 | Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration. | Ping Su, Chun Cao, Xiaoxing Ma, Jian Lu |
| 2013 | Quality Driven Design of Program Frameworks for Intelligent Sensor Applications. | Tingxun Shi, Ruizhi Wang, Daolan Zhang, Wenpin Jiao, Bing Xie |
| 2013 | Bidirectional Translation between OCL and JML for Round-Trip Engineering. | Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto |
| 2013 | A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing. | Toshifusa Sekizawa, Tsugu Kotorii |
| 2013 | TETRABox - A Generic White-Box Testing Framework for Model Transformations. | Johannes Schnbck, Gerti Kappel, Manuel Wimmer, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger |
| 2013 | Effects of Organizational Changes on Product Metrics and Defects. | Seiji Sato, Hironori Washizaki, Yoshiaki Fukazawa, Sakae Inoue, Hiroyuki Ono, Yoshiiku Hanai, Mikihiko Yamamoto |
| 2013 | Testing of Timing Properties in Real-Time Systems: Verifying Clock Constraints. | Mehrdad Saadatmand, Mikael Sjdin |
| 2013 | Integrating Software Process Reuse and Automation. | Emmanuelle Rouill, Benot Combemale, Olivier Barais, David Touzet, Jean-Marc Jzquel |
| 2013 | Can We Trust Our Results? A Mapping Study on Data Quality. | Marshima Mohd Rosli, Ewan D. Tempero, Andrew Luxton-Reilly |