| 2013 | SamikshaUmbra: Contribution and Performance Assessment of Software Maintenance Professionals by Mining Software Repositories. | Ayushi Rastogi, Ashish Sureka |
| 2013 | Large Scale Model-Driven Engineering for a Multi-site Team - Experience Report. | Asha Rajbhoj, Vinay Kulkarni |
| 2013 | Identification of Inaccurate Effort Estimates in Agile Software Development. | Florian Raith, Ingo Richter, Robert Lindermeier, Gudrun Klinker |
| 2013 | Evaluating Performance of Network Metrics for Bug Prediction in Software. | Satya Prateek, Anjaneyulu Pasala, Luis Moreno Aracena |
| 2013 | Connecting Interaction Models and Application Logic for Model-Driven Generation of Web-Based Graphical User Interfaces. | Roman Popp, Hermann Kaindl, David Raneburger |
| 2013 | Classifying Bug Reports to Bugs and Other Requests Using Topic Modeling. | Natthakul Pingclasai, Hideaki Hata, Ken-ichi Matsumoto |
| 2013 | Improving Analogy-Based Software Cost Estimation through Probabilistic-Based Similarity Measures. | Passakorn Phannachitta, Jacky Keung, Akito Monden, Ken-ichi Matsumoto |
| 2013 | Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy. | Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark |
| 2013 | Can Control-Component Libraries Reduce the Costs of Developing Control Engineering-Based Self-Adaptive Systems? | Tharindu Patikirikorala, Alan Colman, Jun Han |
| 2013 | Suggesting Extract Class Refactoring Opportunities by Measuring Strength of Method Interactions. | Giuseppe Pappalardo, Emiliano Tramontana |
| 2013 | On Detecting Concurrency Defects Automatically at the Design Level. | Frank Padberg, Luis M. Carril, Oliver Denninger, Martin Blersch |
| 2013 | Software Quality Requirements: A Systematic Mapping Study. | Sofia Ouhbi, Ali Idri, Jos Luis Fernndez-Alemn, Ambrosio Toval |
| 2013 | A Study of the Characteristics of Developers' Activities in GitHub. | Saya Onoue, Hideaki Hata, Ken-ichi Matsumoto |
| 2013 | SAT and SMT: Their Algorithm Designs and Applications. | Mizuhito Ogawa, To Van Khanh |
| 2013 | A Practical Study of Debugging Using Model Checking. | Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno, Toshiaki Aoki |
| 2013 | Model Checking Liveness Properties under Fairness & Anti-fairness Assumptions. | Kazuhiro Ogata |
| 2013 | Business-Driven Acceptance Testing Methodology and Its Practice for E-Government Software Systems. | Norifumi Nomura, Yasuhiro Kikushima, Mikio Aoyama |
| 2013 | A Method for Early Detection of Mismatches between Framework Architecture and Execution Scenarios. | Naoya Nitta, Izuru Kume, Yasuhiro Takemura |
| 2013 | A Hybrid Approach for Control Flow Graph Construction from Binary Code. | Minh Hai Nguyen, Thien Binh Nguyen, Thanh Tho Quan, Mizuhito Ogawa |
| 2013 | A Systematic Review of Model-Driven Security. | Phu Hong Nguyen, Jacques Klein, Yves Le Traon, Max E. Kramer |
| 2013 | Safe Substitution of Components in Self-Adaptive Web Applications. | Shin Nakajima |
| 2013 | An Automated Testing Tool for Java Application Using Symbolic Execution Based Test Case Generation. | Supasit Monpratarnchai, Shoichiro Fujiwara, Asako Katayama, Tadahiro Uehara |
| 2013 | Lehman's Laws and the Productivity of Increments: Implications for Productivity. | Ramin Moazeni, Daniel Link, Barry W. Boehm |
| 2013 | Entity Disambiguation in Natural Language Text Requirements. | Janardan Misra, Subhabrata Das |
| 2013 | Modeling Code Analyzability at Method Level in J2EE Applications. | Panita Meananeatra, Ekekachan Rattanaleadnusorn, Songsakdi Rongviriyapanish, Titiphan Kitcharoensup, Thanapol Wisuttikul, Boonchai Charoendouysil |