The Community for Technology Leaders
Quality Software, International Conference on (2006)
Beijing, China
Oct. 27, 2006 to Oct. 28, 2006
ISSN: 1550-6002
ISBN: 0-7695-2718-3
TABLE OF CONTENTS
Introduction
//Panel Summary//
//Keynote Speeches//

Government R&D Programs on Software Technology (PDF)

Xiaohan Liao , The Ministry of Science and Technology, China
pp. 10
Session 1A//Quality Attributes Measurement and Analysis 1

Application of a Statistical Methodology to Simplify Software Quality Metric Models Constructed Using Incomplete Data Samples (Abstract)

Victor K.Y. Chan , Macao Polytechnic Institute, Macau
T.F. Xie , Beijing Institute of Technology, China
W. Eric Wong , University of Texas at Dallas, USA
pp. 15-21

An Event-Driven Adaptive Differentiated Service Web Container Architecture (Abstract)

Yang Li , Chinese Academy of Sciences, China
Ningjiang Chen , Guangxi University, China
Tao Huang , Chinese Academy of Sciences, China
pp. 22-29

Object-Relational Database Metrics Formalization (Abstract)

Aline Lucia Baroni , New University of Lisbon, Portugal
Coral Calero , University of Castilha-La Mancha, Spain
Mario Piattini , University of Castilha-La Mancha, Spain
Fernando Brito e Abreu , New University of Lisbon, Portugal
pp. 30-37

Control-Flow Analysis and Representation for Aspect-Oriented Programs (Abstract)

Jianjun Zhao , Shanghai Jiao Tong University, China
pp. 38-48
Session 1B//Validation and Verification 1

Automating Invariant Verification of Behavioral Specifications (Abstract)

Kazuhiro Ogata , Japan Advanced Institute of Science and Technology (JAIST), Japan
Kokichi Futatsugi , Japan Advanced Institute of Science and Technology (JAIST), Japan
Masaki Nakamura , Japan Advanced Institute of Science and Technology (JAIST), Japan
Masahiro Nakano , Japan Advanced Institute of Science and Technology (JAIST), Japan
pp. 49-56

A Method for Realizing Software Architecture Design (Abstract)

Yujian Fu , Florida International University, USA
Xudong He , Florida International University, USA
Zhijiang Dong , Florida International University, USA
pp. 57-64

Correctness-preserving synthesis for real-time control software (Abstract)

Henk Corporaal , Eindhoven University of Technology, The Netherlands
Jeroen Voeten , Eindhoven University of Technology, The Netherlands; Embedded systems institute, The Netherlands
Jinfeng Huang , Eindhoven University of Technology, The Netherlands
pp. 65-73

Asynchronous Semantics and Anti-patterns for Interacting Web Services (Abstract)

Paul Krause , University of Surrey, UK
Yongyan Zheng , University of Surrey, UK
pp. 74-84
Session 1C//Software Testing 1

On Random Testing of Image Processing Applications (Abstract)

Johannes Mayer , Ulm University, Germany
Ralph Guderlei , Ulm University, Germany
pp. 85-92

The Design of Dependency Relationships Matrix to improve the testability of Component-based Software (Abstract)

Houxiang Wang , Naval University of Engineering, China
Yansheng Lu , Hua Zhong University of Science and Technology, China
Liangli Ma , Hua Zhong University of Science and Technology, China; Naval University of Engineering, China
pp. 93-98

Improving Coverage in Functional Testing (Abstract)

Jessica Chen , University of Windsor, Canada
Hasan Ural , University of Ottawa, Canada
Guy-V. Jourdan , University of Ottawa, Canada
Wenxin Ma , University of Ottawa, Canada
pp. 99-106

A Test Data Generation Tool for Unit Testing of C Programs (Abstract)

Jian Zhang , Chinese Academy of Sciences, China
Zhongxing Xu , Chinese Academy of Sciences, China; Graduate University Chinese Academy of Sciences, China
pp. 107-116
Session 2A// Requirements Engineering

Co-evolution of i* Models and 3APL Agents (Abstract)

Aneesh Krishna , University of Wollongong, Australia
Ying Guan , University of Wollongong, Australia
Aditya K. Ghose , University of Wollongong, Australia
pp. 117-124

PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application (Abstract)

Kouta Sasaki , Shinshu University, Japan
Kenji Kaijiri , Shinshu University, Japan
Haruhiko Kaiya , Shinshu University, Japan
pp. 125-132

An Empirical Study on the Likelihood of Adoption in Practice of a Size Measurement Procedure for Requirements Specification (Abstract)

Oscar Pastor , Valencia University of Technology, Spain
Nelly Condori-Fernandez , Valencia University of Technology, Spain
pp. 133-140

Viewpoints Merging via Incrementally Elicited Ranked Structures (Abstract)

Qiuming Lin , University of Wollongong, Australia
Aditya Ghose , University of Wollongong, Australia
pp. 141-150
Session 2B// Formal Methods

Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems (Abstract)

Peng Wang , Beijing University of Aeronautics and Astronautics, China
Kai-Yuan Cai , Beijing University of Aeronautics and Astronautics, China
pp. 159-166

Automatic Visualization of Abstract System Specifications (Abstract)

Jan Langer , University of Technology Chemnitz, Germany
Stephan Walter , Lucent Technologies Network Systems GmbH, Germany
Ulrich Heinkel , University of Technology Chemnitz, Germany
Axel Schneider , Lucent Technologies Network Systems GmbH, Germany
pp. 167-174

View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement (Abstract)

Hui Ma , Massey University, New Zealand
Klaus-Dieter Schewe , Massey University, New Zealand
Jane Zhao , Massey University, New Zealand
pp. 175-184
Session 3A//Quality Management

Static Slicing for Pervasive Programs (Abstract)

Heng Lu , The University of Hong Kong, Hong Kong
T.H. Tse , The University of Hong Kong, Hong Kong
W.K. Chan , City University of Hong Kong, Hong Kong
pp. 185-192

Managing Quality of Context in Pervasive Computing (Abstract)

Jian Lu , Nanjing University, China
Jun Li , Nanjing University, China
Tao Gu , Institute for Infocomm Research, Singapore
Xianping Tao , Nanjing University, China
Shaxun Chen , Nanjing University, China
Yingyi Bu , Nanjing University, China
pp. 193-200

Industrial Perspective on the Usefulness of Design Rationale for Software Maintenance: A Survey (Abstract)

Muhammad Ali Babar , University of NSW, Australia
Ian Gorton , University of NSW, Australia
Antony Tang , Swinburne University of Technology, Australia
Jun Han , Swinburne University of Technology, Australia
pp. 201-208

Software Project Level Estimation Model Framework based on Bayesian Belief Networks (Abstract)

Chao Zhang , Siemes Ltd., China
Fei Peng , Siemes Ltd., China
Hao Wang , Siemes Ltd., China
Andrej Pietschker , Siemens AG, Germany
pp. 209-218
Session 3B//Software Architecture, Pattern and Framework

A Modeling Framework for Service-Oriented Architecture (Abstract)

Xiangyang Jia , Wuhan University, China
Shi Ying , Wuhan University, China
Sheng Cao , Hubei Telecom, China
Tao Zhang , Wuhan University, China
pp. 219-226

Quality Assessment of Mutation Operators Dedicated for C# Programs (Abstract)

Anna Derezinska , Warsaw University of Technology, Poland
pp. 227-234

A Reflection Mechanism for Reusing Software Architecture (Abstract)

FuDi Wang , Wuhan University, China
Shi Ying , Wuhan University, China
JunLi Wang , Wuhan University, China
ZaoQing Liang , Wuhan University, China
pp. 235-243

A Quantitive Context Model of Software Process Patterns and Its Application Method (Abstract)

Yasha Wang , Peking University, China
Jiakuan Ma , Peking University, China
pp. 243-250
Session 3C// Software Testing 2

Adaptive Random Testing with Enlarged Input Domain (Abstract)

Christoph Schneckenburger , Ulm University, Germany
Johannes Mayer , Ulm University, Germany
pp. 251-258

Generating Optimal Test Set for Neighbor Factors Combinatorial Testing (Abstract)

Xu Baowen , Southeast University, China; Jiangsu Institute of Software Quailty, China
Wang Ziyuan , Southeast University, China; Jiangsu Institute of Software Quailty, China
Nie Changhai , Southeast University, China; Jiangsu Institute of Software Quailty, China
Shi Liang , Southeast University, China; Jiangsu Institute of Software Quailty, China
pp. 259-265

Optimal Synchronizable Test Sequence from Test Segments (Abstract)

J. Chen , Univ. of Windsor, Canada
L. Duan , Univ. of Windsor, Canada
pp. 266-273

Probabilistic Adaptive Random Testing (Abstract)

Dave Towey , BNU-HKBU UIC, China
Kwok Ping Chan , The University of Hong Kong, Hong Kong
T.Y. Chen , Swinburne University of Technology, Australia
pp. 274-280
Session 4A// Quality Attributes Measurement and Analysis 2

Defect Prevention: A General Framework and Its Application (Abstract)

Xiaoyuan He , Neusoft Group Ltd, China
Li Meng , Neusoft Group Ltd, China
Sontakke Ashok , Nihilent Technologies Pvt. Ltd., India
pp. 281-286

Early Usability Evaluation in Model Driven Architecture Environments (Abstract)

Emilio Insfran , Valencia University of Technology, Spain
Silvia Abrahao , Valencia University of Technology, Spain
pp. 287-294

An Approach to Composing Multiple Component Implementations for Satisfying Quality Requirements (Abstract)

Meng Ye , IBM China Research Laboratory, China
Ying Chen , IBM China Research Laboratory, China
Zhao Liu , Peking University, China
Li Zhou , Peking University, China
Gang Huang , Peking University, China
Jie Yang , Peking University, China
pp. 295-302

An Adaptive Caching Mechanism for Web Services (Abstract)

Jun Wei , Chinese Academy of Sciences, China
Lei Li , University of Science & Technology of China, China; Chinese Academy of Sciences, China
Haoran Zheng , Chinese Academy of Sciences, China
Chunlei Niu , Chinese Academy of Sciences, China
pp. 303-312
Session 4B//Validation and Verification 2

Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture (Abstract)

Yinong Chen , Arizona State University, USA
Bingnan Xiao , Arizona State University, USA
Qian Huang , Arizona State University, USA
W.T. Tsai , Arizona State University, USA
pp. 313-320

Modularly Certified Dynamic Storage Allocation in SCAP (Abstract)

Chunxiao Lin , University of Science and Technology of China, China
Yiyun Chen , University of Science and Technology of China, China
Long Li , University of Science and Technology of China, China
Sen Xiang , University of Science and Technology of China, China
pp. 321-328

Software Reliability Metrics Selecting Method Based on Analytic Hierarchy Process (Abstract)

Haifeng Li , BeiHang University, China
Minyan Lu , BeiHang University, China
Qiuying Li , BeiHang University, China
pp. 337-346
Session 4C//Agile Development and Education

Technical Reviews in Agile Development: Case Mobile-D^TM (Abstract)

Henrik Hedberg , University of Oulu, Finland
Juha Iisakka , University of Oulu, Finland
pp. 347-353

Experiences with PASS: Developing and Using a Programming Assignment aSsessment System (Abstract)

M. Choy , City University of Hong Kong, Hong Kong
Y.T. Yu , City University of Hong Kong, Hong Kong
C.K. Poon , City University of Hong Kong, Hong Kong
pp. 360-368
Session 5A//Component-Based Systems

A Framework for Extensible Component Customization for Component-based Software Development (Abstract)

Choksing Taweponsomkiat , Arizona State University, USA
Stephen S. Yau , Arizona State University, USA
Dazhi Huang , Arizona State University, USA
pp. 369-376

Stochastic modeling and quality evaluation of component-based software systems (Abstract)

Hanpin Wan , Peking University, China
Yu Huang , Peking University, China
Yunni Xia , Peking University, China
Chunxiang Xu , Peking University, China
pp. 377-384

Reconstruct the Distributed Transaction Monitor OnceTX (Abstract)

Gang Li , Chinese Academy of Sciences, China
Beihong Jin , Chinese Academy of Sciences, China
Liang Zhang , Chinese Academy of Sciences, China
pp. 393-402
Session 5B//Model Checking

Formalizing Class Dynamic Software Updating (Abstract)

LinPeng Huang , ShangHai Jiao Tong University, China
Shi Zhang , ShangHai Jiao Tong University, China; FuJian Normal University, China
pp. 403-409

Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework (Abstract)

Zhifeng Lai , Hong Kong University of Science and Technology, Hong Kong
S.C. Cheung , Hong Kong University of Science and Technology, Hong Kong
Yunfei Jiang , Zhongshan (Sun Yat-sen) University, China
pp. 410-417

LTL Model Checking via Search Space Partition (Abstract)

Fei Pu , Chinese Academy of Sciences, China
Wenhui Zhang , Chinese Academy of Sciences, China
pp. 418-428
Session 2C// ISEAT 2006

Multiagent System for Reputation--based Web Services Selection (Abstract)

Yuhui Zhao , Northeastern University, China
Deguo Yang , Northeastern University, China
Yuan Gao , Northeastern University, China
Hui Wang , Northeastern University, China
pp. 429-434

Evaluation and Research of Strong Migration of Mobile Agent for Exploiting Type Inference (Abstract)

Zhi Li , Guilin University of Electronic Technology, China
Donghong Qin , Guilin University of Electronic Technology, China
pp. 441-445

Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams (Abstract)

M.M.Zahidul Islam , University of Wollongong (UOW), Australia
Mohammad M R Bhuiyan , University of Wollongong (UOW), Australia
Aneesh Krishna , University of Wollongong (UOW), Australia
Aditya Ghose , University of Wollongong (UOW), Australia
pp. 446-451

Towards A Service Requirements Ontology on Knowledge and Intention (Abstract)

Eric Yu , University of Toronto, Canada
Qiang Liu , Tsinghua University, China
Zhi Jin , Academy of Mathematics and Management Science, CAS, China
Chi-hung Chi , Tsinghua University, China
Lin Liu , Tsinghua University, China
pp. 452-462
Author Index

Author Index (PDF)

pp. 463-464
94 ms
(Ver )