16. APSEC 2009: Batu Ferringhi, Penang, Malaysia

Metrics and Measurement I

• Yeong-Seok Seo, Kyung-A Yoon, Doo-Hwan Bae:
  Improving the Accuracy of Software Effort Estimation Based on Multiple Least Square Regression Models by Estimation Error-Based Data Partitioning. 3-10
  
• Jimin Hwa, Sukhee Lee, Yong Rae Kwon:
  Hierarchical Understandability Assessment Model for Large-Scale OO System. 11-18
  
• Çigdem Gencel, Rogardt Heldal, Kenneth Lind:
  On the Relationship between Different Size Measures in the Software Life Cycle. 19-26
  

Software Design I

• Karim O. Elish, Mohammad Alshayeb:
  Investigating the Effect of Refactoring on Software Testing Effort. 29-34
  
• Vibhu Saujanya Sharma, Santonu Sarkar, Kunal Verma, Arun Panayappan, Alex Kass:
  Extracting High-Level Functional Design from Software Requirements. 35-42
  
• Limei Yang, Hui Liu, Zhendong Niu:
  Identifying Fragments to be Extracted from Long Methods. 43-49
  

Verification and Validation I

• In-Gwon Song, Sang-Uk Jeon, Doo-Hwan Bae:
  A Graph Based Approach to Detecting Causes of Implied Scenarios under the Asynchronous and Synchronous Communication Styles. 53-60
  
• Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki:
  Extracting Environmental Constraints to Make Reactive System Specifications Realizable. 61-68
  
• Wenrui Li, Zhijian Wang:
  Monitoring Composite Services with Universal Modal Sequence Diagrams. 69-76
  

Requirements Engineering I

• Siffat Ullah Khan, Mahmood Niazi, Rashid Ahmad:
  Critical Barriers for Offshore Software Development Outsourcing Vendors: A Systematic Literature Review. 79-86
  
• Badariah Solemon, Shamsul Sahibuddin, Abdul Azim Abdul Ghani:
  Re-defining the Requirements Engineering Process Improvement Model. 87-92
  
• Jim Buchan, Christian Harsana Ekadharmawan, Stephen G. MacDonell:
  Insights into Domain Knowledge Sharing in Software Development Practice in SMEs. 93-100
  
• Ziyad Alshaikh, Clive Boughton:
  The Context Dynamics Matrix (CDM): An Approach to Modeling Context. 101-108
  

Software Architecture

• Henrik Bærbak Christensen, Klaus Marius Hansen, Kari R. Schougaard:
  An Empirical Study of Software Architects' Concerns. 111-118
  
• Mikio Aoyama, Takashi Ikezaki, Noboru Nakamichi:
  Attribute-Based Architecture Patterns for Lightweight Service-Oriented Architectures. 119-126
  
• Georg Buchgeher, Rainer Weinreich:
  Tool Support for Component-Based Software Architectures. 127-134
  
• Qiushi Wang, Osamu Shigo:
  Web Services Composition by I/O Data Structure Correspondences. 135-142
  

Software Testing I

• Ahmed S. Ghiduk:
  Search-Based Testing Guidance Using Dominances vs. Control Dependencies. 145-151
  
• César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez:
  Analysis of the OLSR Protocol by Using Formal Passive Testing. 152-159
  
• Xiang Chen, Qing Gu, Ang Li, Daoxu Chen:
  Variable Strength Interaction Testing with an Ant Colony System Approach. 160-167
  
• Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao:
  Spectral Debugging with Weights and Incremental Ranking. 168-175
  

Metrics and Measurement II

• Jianfeng Wen, Shixian Li, Linyan Tang:
  Improve Analogy-Based Software Effort Estimation Using Principal Components Analysis and Correlation Weighting. 179-186
  
• Raymund Sison:
  Investigating the Effect of Pair Programming and Software Size on Software Quality and Programmer Productivity. 187-193
  

Software Design II

• Bahman Zamani, Greg Butler:
  Describing Pattern Languages for Checking Design Models. 197-204
  
• Mittapally Kumara Swamy, Polepalli Krishna Reddy:
  An Efficient Context-Based User Interface by Exploiting Temporality of Attributes. 205-212
  

Aspect Oriented Programming

• Antonio Cisternino, Sebastien Vaucouleur:
  Aspect Oriented Programming Made Easy: An Embedded Pointcut Language. 215-222
  
• Nafees Qamar:
  Composition Analysis of Multiple Aspects in Aspect-Oriented Programs. 223-230
  

Requirements Engineering II

• Chun Liu, Yue Wang, Zhi Jin:
  Elicit the Requirements on Software Dependability: A Knowledge-Based Approach. 233-240
  
• Lianshan Sun, Gang Huang:
  Modeling Access Control Requirements in Feature Model. 241-248
  
• Zhi Jin, Xiaohong Chen, Didar Zowghi:
  Performing Projection in Problem Frames Using Scenarios. 249-256
  
• Saad Zafar:
  A Light-Weight Formal Approach for Modeling, Verifying and Integrating Role-Based Access Control Requirements. 257-264
  

Program Analysis

• Ju Qian, Zifeng Cui, Baowen Xu, Xiaofang Zhang:
  Contribution-Based Call Stack Abstraction and Its Application in Pointer Analysis of AspectJ Programs. 267-274
  
• Kai Yu, Cong Wang, Yin-li Chen, Mengxiang Lin:
  Program Sifting: Select Property-Related Functions for Language-Based Static Analysis. 275-282
  
• Stan Jarzabek, Yinxing Xue, Hongyu Zhang, Youpeng Lee:
  Avoiding Some Common Preprocessing Pitfalls with Feature Queries. 283-290
  
• Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa, Shinichiro Yamamoto:
  Sequence Diagram Slicing. 291-298
  

Software Testing II

• Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik, Chisu Wu, Kwangkeun Yi:
  Test Coverage Metric for Two-Staged Language with Abstract Interpretation. 301-308
  
• Jussi Kasurinen, Ossi Taipale, Kari Smolander:
  Analysis of Problems in Testing Practices. 309-315
  
• Zulfa Zakaria, Rodziah Binti Atan, Abdul Azim Abdul Ghani, Nor Fazlida Mohd. Sani:
  Unit Testing Approaches for BPEL: A Systematic Review. 316-322
  
• Lian Yu, Yu Su, Qianxing Wang:
  Scheduling Test Execution of WBEM Applications. 323-330
  

Requirement Engineering III

• Özlem Albayrak, Hülya Kurtoglu, Mert Biçakçi:
  Incomplete Software Requirements and Assumptions Made by Software Engineers. 333-339
  
• Shahliza Abd Halim, Dayang Norhayati A. Jawawi, Safaai Deris:
  Requirements Identification and Representation in Software Product Line. 340-346
  
• Noraini Ibrahim, Wan M. N. Wan-Kadir, Safaai Deris:
  Propagating Requirement Change into Software High Level Designs towards Resilient Software Evolution. 347-354
  
• Bixin Li, Yu Zhou, Jun Pang:
  Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition. 355-362
  

Software Maintenance

• Yoshiki Higo, Ken-ichi Sawa, Shinji Kusumoto:
  Problematic Code Clones Identification Using Multiple Detection Results. 365-372
  
• Yoshihiko Fukushima, Raula Gaikovina Kula, Shinji Kawaguchi, Kyohei Fushida, Masataka Nagura, Hajimu Iida:
  Code Clone Graph Metrics for Detecting Diffused Code Clones. 373-380
  
• Vu Nguyen, Barry W. Boehm, Phongphan Danphitsanuphan:
  Assessing and Estimating Corrective, Enhancive, and Reductive Maintenance Tasks: A Controlled Experiment. 381-388
  
• Takayuki Omori, Katsuhisa Maruyama:
  Identifying Stagnation Periods in Software Evolution by Replaying Editing Operations. 389-396
  

Software Testing III

• Xinping Wang, Qing Gu, Xin Zhang, Xiang Chen, Daoxu Chen:
  Fault Localization Based on Multi-level Similarity of Execution Traces. 399-405
  
• Zhihong Xu, Gregg Rothermel:
  Directed Test Suite Augmentation. 406-413
  
• Chen-Wei Wang, Alessandra Cavarra:
  Checking Model Consistency Using Data-Flow Testing. 414-421
  
• Mike Papadakis, Nicos Malevris:
  An Effective Path Selection Strategy for Mutation Testing. 422-429
  

Project Management

• Juho Heiskari, Laura Lehtola:
  Investigating the State of User Involvement in Practice. 433-440
  
• Jongdae Han, Chisu Wu, Byungjeong Lee:
  Extracting Development Organization from Open Source Software. 441-448
  
• Thamer Al-Rousan, Shahida Sulaiman, Rosalina Abdul Salam:
  Project Management Using Risk Identification Architecture Pattern (RIAP) Model: A Case Study on a Web-Based Application. 449-456
  
• Emam Hossain, Muhammad Ali Babar, Hye-young Paik, June M. Verner:
  Risk Identification and Mitigation Processes for Using Scrum in Global Software Development: A Conceptual Framework. 457-464
  

Software Process

• Xiaoyang He, Jingang Guo, Yasha Wang, Ying Guo:
  An Automatic Compliance Checking Approach for Software Processes. 467-474
  
• Pornchai Mongkolnam, Udom Silparcha, Narongrit Waraporn, Vajirasak Vanijja:
  A Push for Software Process Improvement in Thailand. 475-481
  
• Johanna Kukkanen, Kyosti Vakevainen, Marjo Kauppinen, Eero J. Uusitalo:
  Applying a Systematic Approach to Link Requirements and Testing: A Case Study. 482-488
  
• Wissam Mallouli, Amel Mammar, Ana R. Cavalli:
  A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. 489-496
  

Verification and Validation II

• Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno:
  Towards Automated Verification of Distributed Consensus Protocols. 499-506
  
• Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
  A Method for Modeling and Analyzing Fault-Tolerant Service Composition. 507-514
  
• Yuusuke Hashimoto, Shin Nakajima:
  Modular Checking of C Programs Using SAT-Based Bounded Model Checker. 515-522
  
• Mohd Naz'ri Mahrin, Paul A. Strooper, David A. Carrington:
  Selecting Usability Evaluation Methods for Software Process Descriptions. 523-529
  

Last update Tue May 22 23:22:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page