15. APSEC 2008: Beijing, China

Keynote Speech Abstracts

• Amir Pnueli:
  Using Abstraction to Verify Arbitrary Temporal Properties. 3
  
• Ivar Jacobson:
  Beyond Agile: Smart. 4
  
• Jifeng He:
  Service Refinement. 5
  

Program Analysis and Understanding (I)

• Hao Zhong, Lu Zhang, Hong Mei:
  Early Filtering of Polluting Method Calls for Mining Temporal Specifications. 9-16
  
• Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga:
  DRACULA: Detector of Data Races in Signals Handlers. 17-24
  
• Krzysztof Stencel, Patrycja Wegrzynowicz:
  Detection of Diverse Design Pattern Variants. 25-32
  
• Ewan D. Tempero:
  An Empirical Study of Unused Design Decisions in Open Source Java Software. 33-40
  

Software Process Improvement (I)

• Giulio Concas, Michele Marchesi, Sandro Pinna, Roberto Tonelli, Ivana Turnu:
  A Dynamic Model of Software Product Generative Process. 43-50
  
• Dongwon Kang, In-Gwon Song, Seunghun Park, Doo-Hwan Bae, Hoon-Kyu Kim, Nobok Lee:
  A Case Retrieval Method for Knowledge-Based Software Process Tailoring Using Structural Similarity. 51-58
  
• He Zhang, Barbara Kitchenham, Dietmar Pfahl:
  Software Process Simulation Modeling: Facts, Trends and Directions. 59-66
  
• Mei He, Ye Yang, Qing Wang, Mingshu Li:
  An Investigation on Performance of Software Enhancement Projects in China. 67-74
  

Software Maintenance and Evolution (I)

• Yun-Fei Jia, Lei Zhao, Kai-Yuan Cai:
  A Nonlinear Approach to Modeling of Software Aging in a Web Server. 77-84
  
• Mario Pukall, Christian Kästner, Gunter Saake:
  Towards Unanticipated Runtime Adaptation of Java Applications. 85-92
  
• Yogesh Murarka, Umesh Bellur:
  Correctness of Request Executions in Online Updates of Concurrent Object Oriented Programs. 93-100
  
• Odd Petter N. Slyngstad, Reidar Conradi, Muhammad Ali Babar, Viktor Clerc, Hans van Vliet:
  Risks and Risk Management in Software Architecture Evolution: An Industrial Survey. 101-108
  

Formal Methods (I)

• Teruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki:
  A Technique to Check the Implementability of Behavioral Specifications with Frameworks. 111-118
  
• Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He:
  Execution Semantics for rCOS. 119-126
  
• Chenguang Luo, Guanhua He, Shengchao Qin:
  A Heap Model for Java Bytecode to Support Separation Logic. 127-134
  
• Klaus Marius Hansen, Weishan Zhang, João Fernandes:
  Flexible Generation of Pervasive Web Services Using OSGi Declarative Services and OWL Ontologies. 135-142
  

Software Testing (I)

• Ji Wu, Liu Yang, Xu Luo:
  Jata: A Language for Distributed Component Testing. 145-152
  
• Ravi Prakash Gorthi, Anjaneyulu Pasala, Kailash K. P. Chanduka, Benny Leong:
  Specification-Based Approach to Select Regression Test Suite to Validate Changed Software. 153-160
  
• Jianjun Xu, Qingping Tan, Rui Shen:
  A Novel Optimum Data Duplication Approach for Soft Error Detection. 161-168
  
• Chong-Won Lee, Byungjeong Lee, Chisu Wu:
  Providing the Guideline of Determining Quality Checklists Priorities Based on Evaluation Records of Software Products. 169-176
  

Software Product-Line Engineering

• Andreas Malaer, Matthias Lampe:
  SimPL A Simple Software Production Line for End User Development. 179-186
  
• Norbert Siegmund, Marko Rosenmüller, Martin Kuhlemann, Christian Kästner, Gunter Saake:
  Measuring Non-Functional Properties in Software Product Line for Product Derivation. 187-194
  
• Juha Savolainen, Juha Kuusela:
  Scheduling Product Line Features for Effective Roadmapping. 195-202
  
• Mikio Aoyama, Atsuko Yoshino:
  AORE (Aspect-Oriented Requirements Engineering) Methodology for Automotive Software Product Lines. 203-210
  

Program Analysis and Understanding (II)

• Daqing Hou, Chandan Raj Rupakheti, H. James Hoover:
  Documenting and Evaluating Scattered Concerns for Framework Usability: A Case Study. 213-220
  
• Hao Zhong, Lu Zhang, Hong Mei:
  Inferring Specifications of Object Oriented APIs from API Source Code. 221-228
  
• Sharifah Mashita Syed-Mohamad, Tom McBride:
  A Comparison of the Reliability Growth of Open Source and In-House Software. 229-236
  

Software Process Improvement (II)

• Noriko Hanakawa:
  A Source-Code Based Extraction Way for Micro Processes Influencing Software Complexity. 239-246
  
• Shen Zhang, Yongji Wang, Junchao Xiao:
  Mining Individual Performance Indicators in Collaborative Development Using Software Repositories. 247-254
  
• Yulong Gu, James Warren:
  Towards Analysing Information Management Requirements in New Zealand Genetic Services. 255-262
  

Verification and Validation (I)

• Haiqiang Dun, Wen Zhao, Yu Huang, Shikun Zhang, Lifu Wang:
  Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet. 265-272
  
• Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki:
  Emergent Properties in Reactive Systems. 273-280
  
• Hongtao Huang:
  Detection of a Set of States in Distributed Systems. 281-288
  

Requirement Engineering

• Kedian Mu, Zhi Jin, Didar Zowghi:
  A Measurement-Driven Process Model for Managing Inconsistent Software Requirements. 291-298
  
• Seyed Morteza Babamir, Faezeh Sadat Babamir:
  Behavioral Specification of Real-Time Requirements. 299-306
  
• Osamu Shigo:
  Jackson's JSP-Like Method for State Transition Design. 307-314
  

Software Engineering Education

• Dongsun Kim, Suntae Kim, Seokhwan Kim, Sooyong Park:
  Software Engineering Education Toolkit for Embedded Software Architecture Design Methodology Using Robotic Systems. 317-324
  
• Raymund Sison:
  Investigating Pair Programming in a Software Engineering Course in an Asian Setting. 325-331
  

Verification and Validation (II)

• Pengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun:
  Extending PSC for Monitoring the Timed Properties in Composite Services. 335-342
  
• Hiroaki Tanizaki, Takuya Katayama:
  Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy. 343-350
  
• Shengbo Chen, Huaikou Miao, Zhong-sheng Qian:
  Modeling and Verifying Web Browser Interactions. 351-358
  

Formal Methods (II)

• Vivek K. Shanbhag:
  Deadlock-Detection in Java-Library Using Static-Analysis. 361-368
  
• Tsutomu Kumazawa, Tetsuo Tamai:
  Iterative Model Fixing with Counterexamples. 369-376
  
• Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden:
  Model Checking Process with Goal Oriented Requirements Analysis. 377-384
  
• Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee:
  A Verification Framework for FBD Based Software in Nuclear Power Plants. 385-392
  

Software Architecture and Service Oriented Architecture

• Xiwei Xu, Liming Zhu, Yan Liu, Mark Staples:
  Resource-Oriented Architecture for Business Processes. 395-402
  
• Bingu Shim, Siho Choue, Suntae Kim, Sooyong Park:
  A Design Quality Model for Service-Oriented Architecture. 403-410
  
• Kari R. Schougaard, Klaus Marius Hansen, Henrik Bærbak Christensen:
  SA@Work A Field Study of Software Architecture and Software Quality at Work. 411-418
  
• Suntae Kim, Minseong Kim, Sooyong Park:
  Service Identification Using Goal and Scenario in Service Oriented Architecture. 419-426
  

Software Maintenance and Evolution (II)

• Bilal Khan, Shaleeza Sohail:
  Using ES Based Automated Software Clustering Approach to Achieve Consistent Decompositions. 429-436
  
• Tien N. Nguyen:
  Component-Based Software Update Process in Collaborative Software Development. 437-444
  
• Katsuhisa Maruyama, Kensuke Tokoda:
  Security-Aware Refactoring Alerting its Impact on Code Vulnerabilities. 445-452
  
• Shinpei Hayashi, Yasuyuki Tsuda, Motoshi Saeki:
  Detecting Occurrences of Refactoring with Heuristic Search. 453-460
  

Software Testing (II)

• Mohammad F. J. Klaib, Kamal Zuhairi Zamli, Nor Ashidi Mat Isa, Mohammed I. Younis, Rusli Abdullah:
  G2Way A Backtracking Strategy for Pairwise Test Data Generation. 463-470
  
• Zengkai Ma, Jianjun Zhao:
  Test Case Prioritization Based on Analysis of Program Structure. 471-478
  
• Pham Ngoc Hung, Takuya Katayama:
  Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. 479-486
  
• Yi Qu, Bo Zhou, Xiaochun Zhu:
  Early Estimate the Size of Test Suites from Use Cases. 487-492
  

Software Metrics and Measurement

• Jacky Keung:
  Theoretical Maximum Prediction Accuracy for Analogy-Based Software Cost Estimation. 495-502
  
• Alberto Colombo, Ernesto Damiani, Fulvio Frati, Sergio Oltolina, Karl Reed, Gabriele Ruffatti:
  The Use of a Meta-Model to Support Multi-Project Process Measurement. 503-510
  
• Woosung Jung, Eunjoo Lee, Kapsu Kim, Chisu Wu:
  A Complexity Metric for Web Applications Based on the Entropy Theory. 511-518
  
• Jacky Keung, D. Ross Jeffery:
  Automated Support for Software Cost Estimation Using Web-CoBRA. 519-526
  

Aspect-Oriented and Domain-Specific Software Development

• Keiji Hokamura, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai:
  Aspect-Oriented Programming for Web Controller Layer. 529-536
  
• Wuwei Shen, W. Eric Wong:
  Flexible Aspect-Oriented Design Model Checking. 537-544
  
• Jacky Estublier, Germán Vega, Thomas Leveque:
  Management of Composites in Software Engineering Environments. 545-552
  
• Jacky Estublier, Germán Vega, Philippe Lalanda, Thomas Leveque:
  Domain Specific Engineering Environments. 553-560