1. Home
  2. Proceedings
  3. APSEC
  4. APSEC 2015
Default Cover Image

2015 Asia-Pacific Software Engineering Conference (APSEC)

Dec. 1 2015 to Dec. 4 2015

New Delhi, India

Table of Contents

[Title page i]Freely available from IEEE.pp. i-i
[Title page iii]Freely available from IEEE.pp. iii-iii
[Copyright notice]Freely available from IEEE.pp. iv-iv
Table of contentsFreely available from IEEE.pp. v-viii
Message from the General Chair and the Conference ChairFreely available from IEEE.pp. ix-x
Message from the Program Committee ChairsFreely available from IEEE.pp. xi-xi
Organizing CommitteeFreely available from IEEE.pp. xii-xiii
Program CommitteeFreely available from IEEE.pp. xiv-xvii
Steering CommitteeFreely available from IEEE.pp. xviii-xviii
Evolving Critical SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 1-1
by Mike Hinchey
Trends in Automation and Control Systems Needing Efficient Software EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 2-2
by Akilur Rahman
Building an Open Identity Platform for IndiaFull-text access may be available. Sign in or learn about subscription options.pp. 3-3
by Pramod Varma
Building Enterprise-Grade Internet of Things ApplicationsFreely available from IEEE.pp. 4-5
by Pankesh Patel, Vikrant Kaulgud, Praphul Chandra, Ashok Kumar
Software Defined Storage TechnologyFreely available from IEEE.pp. 6-7
by S. C. Gupta, Anita Goel
Evaluation and Measurement of Software Testing Process Quality Applicable to Software Testing LaboratoryFull-text access may be available. Sign in or learn about subscription options.pp. 8-15
by Yang Sun, Hongbing Qian, Xiaochen Liu
CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set ProgrammingFull-text access may be available. Sign in or learn about subscription options.pp. 16-23
by Lingyun Situ, Lingzhong Zhao
PowerPoint Add-in Tool Support for Informal and Semi-Formal Specification AnimationFull-text access may be available. Sign in or learn about subscription options.pp. 24-31
by Fauziah binti Zainuddin, Shaoying Liu
High Productivity Programmers Use Effective Task Processes in Unit-TestingFull-text access may be available. Sign in or learn about subscription options.pp. 32-39
by Damodaram Kamma, Pankaj Jalote
Generating Hierarchical Reference Process Model Using Fragments ClusteringFull-text access may be available. Sign in or learn about subscription options.pp. 40-47
by Jimin Ling, Li Zhang
Versioning Distributed Transactions for Dynamic Component ReconfigurationFull-text access may be available. Sign in or learn about subscription options.pp. 48-55
by Chun Cao, Huating Liu, Ziling Lu, Ping Yu
TBIL: A Tagging-Based Approach to Identity Linkage Across Software CommunitiesFull-text access may be available. Sign in or learn about subscription options.pp. 56-63
by Wenkai Mo, Beijun Shen, Yuting Chen, Jiangang Zhu
From LTL Formulae to Büchi Automata: A Direct Translation Using On-the-Fly De-GeneralizationFull-text access may be available. Sign in or learn about subscription options.pp. 64-71
by Laixiang Shan, Zheng Qin, Kaiping Xu, Xu Chen, Zhipeng Li
Automatic Selection of System Functional Scenarios for Formal Specification AnimationFull-text access may be available. Sign in or learn about subscription options.pp. 72-79
by Shaoying Liu
Exploiting Annotations to Test Break-off BranchesFull-text access may be available. Sign in or learn about subscription options.pp. 80-87
by I. S. W. B. Prasetya, J. Hage, A. Elyasov
The Impacts of Supporting Materials on Code Reading: A Controlled ExperimentFull-text access may be available. Sign in or learn about subscription options.pp. 88-95
by Guoping Rong, He Zhang, Qi Shan, Gaoxuan Liu, Dong Shao
Eye-Tracking Metrics in Software EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 96-103
by Zohreh Sharafi, Timothy Shaffer, Bonita Sharif, Yann-Gaël Guéhéneuc
Designing Distributed Systems w.r.t. ConformanceFull-text access may be available. Sign in or learn about subscription options.pp. 104-110
by Puneet Bhateja
Risks, Challenges and Issues in a Possible Scrum and COBIT MarriageFull-text access may be available. Sign in or learn about subscription options.pp. 111-118
by Necmettin Ozkan
Role Distribution and Transformation in Open Source Software Project TeamsFull-text access may be available. Sign in or learn about subscription options.pp. 119-126
by Zhongjie Wang, Dewayne E. Perry
Efficient and Scalable Collection of Dynamic Metrics Using MapReduceFull-text access may be available. Sign in or learn about subscription options.pp. 127-134
by Shallu Sarvari, Paramvir Singh, Geeta Sikka
Surveying the Corpus of Model Resolution Strategies for Metamodel EvolutionFull-text access may be available. Sign in or learn about subscription options.pp. 135-142
by Regina Hebig, Djamel Eddine Khelladi, Reda Bendraou
Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAALFull-text access may be available. Sign in or learn about subscription options.pp. 143-150
by Eun-Young Kang, Liu Ke, Meng-Zhe Hua, Yu-Xuan Wang
Can We Detect Bug Report Duplication with Unfinished Bug Reports?Full-text access may be available. Sign in or learn about subscription options.pp. 151-158
by Akihiro Tsuruda, Yuki Manabe, Masayoshi Aritsugi
Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software UpdatesFull-text access may be available. Sign in or learn about subscription options.pp. 159-166
by Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
Improing Screen Power Usage Model on Android SmartphonesFull-text access may be available. Sign in or learn about subscription options.pp. 167-173
by Ziling Lu, Chun Cao, XianPing Tao
Hybrid MarteFull-text access may be available. Sign in or learn about subscription options.pp. 174-181
by Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang
ABC: Accelerated Building of C/C++ ProjectsFull-text access may be available. Sign in or learn about subscription options.pp. 182-189
by Ying Zhang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Ping Yu
Bug Localization Based on Code Change Histories and Bug ReportsFull-text access may be available. Sign in or learn about subscription options.pp. 190-197
by Klaus Changsun Youm, June Ahn, Jeongho Kim, Eunseok Lee
A Third-Party Extension Support Framework Using PatternsFull-text access may be available. Sign in or learn about subscription options.pp. 198-205
by Yiyang Hao, Hironori Washizaki, Yoshiaki Fukazawa
EFSPredictor: Predicting Configuration Bugs with Ensemble Feature SelectionFull-text access may be available. Sign in or learn about subscription options.pp. 206-213
by Bowen Xu, David Lo, Xin Xia, Ashish Sureka, Shanping Li
Abstract Accountability Language: Translation, Compliance and ApplicationFull-text access may be available. Sign in or learn about subscription options.pp. 214-221
by Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
Incremental Variability Management in Conceptual Data Models of Software Product LinesFull-text access may be available. Sign in or learn about subscription options.pp. 222-229
by Niloofar Khedri, Ramtin Khosravi
Software Architecture and Specification Model for Customizable Code Inspection ToolsFull-text access may be available. Sign in or learn about subscription options.pp. 230-237
by Masami Noro, Atsushi Sawada
Quality Assessment of Web Services Using Multivariate Adaptive Regression SplinesFull-text access may be available. Sign in or learn about subscription options.pp. 238-245
by Lov Kumar, Santanu Kumar Rath
Input-Driven Active Testing of Multi-threaded ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 246-253
by Han Yue, Peng Wu, Tsong-Yueh Chen, Yi Lv
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial LogicFull-text access may be available. Sign in or learn about subscription options.pp. 254-260
by Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
Using Examples for Teaching Software Design: An Experiment Using a Repository of UML Class DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 261-268
by Bilal Karasneh, Rodi Jolak, Michel R. V. Chaudron
Quality Based Software Project Staffing and Scheduling with Cost BoundFull-text access may be available. Sign in or learn about subscription options.pp. 269-276
by Dongwon Seo, Donghwan Shin, Doo-Hwan Bae
From Goal Models to Feature Models: A Rule-Based Approach for Software Product LinesFull-text access may be available. Sign in or learn about subscription options.pp. 277-284
by Dongjin Yu, Zhenli Chen, Yifei Zhang
A Learning to Rank Framework for Developer Recommendation in Software CrowdsourcingFull-text access may be available. Sign in or learn about subscription options.pp. 285-292
by Jiangang Zhu, Beijun Shen, Fanghuai Hu
Discovering User-Defined Event Handlers in Presence of JavaScript LibrariesFull-text access may be available. Sign in or learn about subscription options.pp. 293-300
by Shuai Wang, Wensheng Dou, Chushu Gao, Jun Wei, Tao Huang
Decomposing Automatic Train Control Verification System with ProjectionFull-text access may be available. Sign in or learn about subscription options.pp. 301-308
by Jing Xu, Xiaohong Chen, Tingliang Zhou, Zhengheng Yuan, Kezhen Huang
How Do Python Programs Use Inheritance? A Replication StudyFull-text access may be available. Sign in or learn about subscription options.pp. 309-315
by Matteo Orrú, Ewan Tempero, Michele Marchesi, Roberto Tonelli
Managing Availability of web services in service oriented systemsFull-text access may be available. Sign in or learn about subscription options.pp. 316-321
by Navinderjit Kaur Kahlon, Kuljit Kaur Chahal, Salil Vishnu Kapur, Sukhleen Bindra Narang
Inferring State Models Using Feedback Directed Random TestingFull-text access may be available. Sign in or learn about subscription options.pp. 322-329
by S. Sukumaran, M. Satpathy, S. K. Kolluru, R. Mall
Layout Validation Using Graph Grammar and Generation of Yard Specific Safety Properties for Railway Interlocking VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 330-337
by Devleena Ghosh, Chittaranjan Mandal
Development of Project Outcome Prediction System for an IT VendorFull-text access may be available. Sign in or learn about subscription options.pp. 338-345
by Tomoyuki Kawamura, Kenichi Takano
Optimal Reasoning of Goals in the i* FrameworkFull-text access may be available. Sign in or learn about subscription options.pp. 346-353
by Chitra M Subramanian, Aneesh Krishna, Arshinder Kaur
Labeling Feature-Oriented Software Clusters for Software Visualization ApplicationFull-text access may be available. Sign in or learn about subscription options.pp. 354-361
by Keisuke Yano, Akihiko Matsuo
A Concurrent Feedback Development Method and Its Application to Automotive Software DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 362-369
by Kengo Hayashi, Mikio Aoyama, Keiji Kobata
Measuring Business Logic Complexity in Software SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 370-376
by Manabu Kamimura, Akihiko Matsuo, Yoshiharu Maeda
Application Layer Encryption for CloudFull-text access may be available. Sign in or learn about subscription options.pp. 377-384
by Amitabh Saxena, Vikrant Kaulgud, Vibhu Sharma
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool FlowFull-text access may be available. Sign in or learn about subscription options.pp. 385-392
by Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta
Assessing the Quality of Software Requirements Specifications for Automotive Software SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 393-400
by Akiyuki Takoshima, Mikio Aoyama
Citizen's Charter Driven Service Area ImprovementFull-text access may be available. Sign in or learn about subscription options.pp. 401-408
by Anna Marie Fortuito, Moshiur Bhuiyan, Farzana Haque, Luba Shabnam, Aneesh Krishna, Chandana Withana
Author indexFreely available from IEEE.pp. 409-410
[Publisher's information]Freely available from IEEE.pp. 412-412
Showing 67 out of 67