1. Yang Sun, Hongbing Qian and Xiaochen Liu. Evaluation and Measurement of Software Testing Process Quality Applicable to Software Testing Laboratory
  2. Lingyun Situ and Lingzhong Zhao. CSP Bounded Model Checking of Preprocessed CTL extended with Events using Answer Set Programming
  3. Fauziah Binti Zainuddin and Shaoying Liu. PowerPoint add-in Tool Support for Informal and Semi-formal Specification Animation
  4. Damodaram Kamma and Pankaj Jalote. High Productivity Programmers Use Effective Task Processes in Unit-Testing
  5. Jimin Ling and Li Zhang. Generating Hierarchical Reference Process Model using Fragments Clustering
  6. Chun Cao, Huating Liu, Ziling Lu and Ping Yu. Versioning Distributed Transactions for Dynamic Component Reconfiguration
  7. Wenkai Mo, Beijun Shen, Yuting Chen and Jiangang Zhu. TBIL: A Tagging-Based Approach to Identity Linkage across Software Communities
  8. Laixiang Shan, Zheng Qin, Kaiping Xu, Xu Chen and Zhipeng Li. From LTL Formulae to Büchi Automata: A Direct Translation using On-the-fly De-generalization
  9. Shaoying Liu. Automatic Selection of System Functional Scenarios for Formal Specification Animation
  10. Wishnu Prasetya, Jurriaan Hage and Alexander Elyasov. Exploiting Annotations to Test Break-off Branches
  11. Guoping Rong, He Zhang, Dong Shao, Gaoxuan Liu and Qi Shan. The Impacts of Supporting Materials on Code Reading: A Controlled Experiment
  12. Zohreh Sharafi, Timothy Shaffer, Bonita Sharif and Yann-Gaël Guéhéneuc. Eye-tracking Metrics in Software Engineering
  13. Puneet Bhateja. Designing distributed systems with respect to conformance
  14. Necmettin Ozkan. Risks, Challenges and Issues in a Possible Scrum and COBIT Marriage
  15. Zhongjie Wang and Dewayne Perry. Role Distribution and Transformation in Open Source Software Project Teams
  16. Shallu Sarvari, Paramvir Singh and Geeta Sikka. Efficient and Scalable Collection of Dynamic Metrics using MapReduce
  17. Regina Hebig, Djamel Eddine Khelladi and Reda Bendraou. Surveying the Corpus of Model Resolution Strategies for Metamodel Evolution
  18. Eun-Young Kang, Liu Ke, Meng-Zhe Hua and Yu-Xuan Wang. Verifying Automotive Systems in EAST-ADL/Stateflow using UPPAAL
  19. Akihiro Tsuruda, Yuki Manabe and Masayoshi Aritsugi. Can We Detect Bug Report Duplication with Unfinished Bug Reports?
  20. Min Zhang, Kazuhiro Ogata and Kokichi Futatsugi. Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates
  21. Ziling Lu, Chun Cao and Xianping Tao. Improving Screen Power Usage Model on Android Smartphones
  22. Lulu Yao, Jing Liu, Yan Zhang and Yuejun Wang. Hybrid MARTE
  23. Ying Zhang, Yanyan Jiang, Chang Xu, Xiaoxing Ma and Ping Yu. ABC: Accelerated Building of C/C++ Projects
  24. Klaus C. Youm, June Ahn, Jeongho Kim and Eunseok Lee. Bug Localization Based on Code Change Histories and Bug Reports
  25. Yiyang Hao, Hironori Washizaki and Yoshiaki Fukazawa. A third-party extension support framework using patterns
  26. Bowen Xu, David Lo, Xin Xia, Ashish Sureka and Shanping Li. EFSPredictor: Predicting Configuration Bugs With Ensemble Feature Selection
  27. Walid Benghabrit, Herve Grall, Jean-Claude Royer and Mohamed Sellami. Abstract Accountability Language: Translation, Compliance and Application
  28. Niloofar Khedri and Ramtin Khosravi. Incremental Variability Management in Conceptual Data Models of Software Product Lines
  29. Masami Noro and Atsushi Sawada. Software Architecture and Specification Model for Customizable Code Inspection Tools
  30. Lov Kumar and Santanu Kumar Rath. Quality Assessment of Web Services using multivariate adaptive regression splines
  31. Han Yue, Peng Wu, Tsong-Yueh Chen and Yi Lv. Input-driven Active Testing of Multi-threaded Programs
  32. Haiying Sun, Jing Liu, Dehui Du and Xiaohong Chen. Specifying Cyber-Physical System Safety Properties with Metric Temporal-Spatial Logic
  33. Bilal Karasneh, Rodi Jolak and Michel Chaudron. Using Examples for Teaching Software Design
  34. Dongwon Seo, Donghwan Shin and Doo-Hwan Bae. Quality Based Software Project Staffing and Scheduling with Cost Bound
  35. Dongjin Yu, Zhenli Chen and Yifei Zhang. From Goal Models to Feature Models: a Rule-based Approach for Software Product Lines
  36. Jiangang Zhu, Beijun Shen and Fanghuai Hu. A Learning to Rank Framework for Developer Recommendation in Software Crowdsourcing
  37. Shuai Wang, Wensheng Dou, Chushu Gao, Jun Wei, Tao Huang. Discovering User-Defined Event Handlers in Presence of JavaScript Libraries
  38. Jing Xu, Xiaohong Chen, Tingliang Zhou, Zhengheng Yuan and Kezhen Huang. Decomposing Automatic Train Control Verification System with Projection
  39. Matteo Orrù, Ewan Tempero, Michele Marchesi and Roberto Tonelli. How Do Python Programs Use Inheritance? A Replication Study
  40. Kuljit Chahal, Navinder Jit Kaur, Sukhleen Bindra Narang and Salil Vishnu Kapur. Managing Availability of Web Services in Service Oriented Systems
  41. Srihari Sukumaran, Manoranjan Satpathy, Sai Keshav Kolluru and Rajib Mall. Inferring state models using feedback directed random testing
  42. Devleena Ghosh and Chittaranjan Mandal. Layout Validation using Graph Grammar and Generation of Yard Specific Safety Properties for Railway Interlocking Verification


Acceptance rate for Research track: 29% (42/144) and Industry track: 24% (9/38)



  1. Tomoyuki Kawamura and Kenichi Takano. Development of Project Outcome Prediction System for an IT Vendor
  2. Chitra M Subramanian, Aneesh Krishna and Arshinder Kaur. Optimal Reasoning of Goals in the i* Framework
  3. Keisuke Yano and Akihiko Matsuo. Labeling Feature-Oriented Software Clusters for Software Visualization Application
  4. Kengo Hayashi, Mikio Aoyama and Keiji Kobata. A Concurrent Feedback Development Method and Its Application to Automotive Software Development
  5. Manabu Kamimura, Akihiko Matsuo and Yoshiharu Maeda. Measuring Business Logic Complexity in Software Systems
  6. Amitabh Saxena, Vikrant Kaulgud and Vibhu Saujanya Sharma. Application Layer Encryption for Cloud
  7. Martin Becker, Sajid Mohamed, Karsten Albers, P.P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey and Ravindra Metta. Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow
  8. Akiyuki Takoshima and Mikio Aoyama. Assessing the Quality of Software Reuirements Specifications for Automotive Software Systems
  9. Moshiur Bhuiyan, Anna Marie Fortuito, Farzana Haque, Luba Shabnam, Chandana Withana and Aneesh Krishna. Citizen‟s Charter Driven Service Area Improvement
New Delhi, India - 1st December (Tuesday) – 4th December (Friday) 2015
You are currently viewing snapshot backup of the website.