6. QSIC 2006: Beijing, China

Panel Summary

• J. Barrie Thompson:
  Do we really have provable Best Practices that ensure Software Quality? 3
  

Keynote Speeches

• Jeff Kramer:
  Distributed Software Engineering: a Rigorous Architectural Approach. 7-9
  
• Xiaohan Liao:
  Government R&D Programs on Software Technology. 10
  
• Gregg Rothermel:
  Helping End-User Programmers "Engineer' Dependable Software. 11
  

Quality Attributes Measurement and Analysis 1

• Victor K. Y. Chan, W. Eric Wong, T. F. Xie:
  Application of a Statistical Methodology to Simplify Software Quality Metric Models Constructed Using Incomplete Data Samples. 15-21
  
• Yang Li, Ningjiang Chen, Tao Huang:
  An Event-Driven Adaptive Differentiated Service Web Container Architecture. 22-29
  
• Aline Lúcia Baroni, Coral Calero, Fernando Brito e Abreu, Mario Piattini:
  Object-Relational Database Metrics Formalization. 30-37
  
• Jianjun Zhao:
  Control-Flow Analysis and Representation for Aspect-Oriented Programs. 38-48
  

Validation and Verification 1

• Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi:
  Automating Invariant Verification of Behavioral Specifications. 49-56
  
• Yujian Fu, Zhijiang Dong, Xudong He:
  A Method for Realizing Software Architecture Design. 57-64
  
• Jinfeng Huang, Jeroen Voeten, Henk Corporaal:
  Correctness-preserving synthesis for real-time control software. 65-73
  
• Yongyan Zheng, Paul Krause:
  Asynchronous Semantics and Anti-patterns for Interacting Web Services. 74-84
  

Software Testing 1

• Johannes Mayer, Ralph Guderlei:
  On Random Testing of Image Processing Applications. 85-92
  
• Liangli Ma, Houxiang Wang, Yansheng Lu:
  The Design of Dependency Relationships Matrix to improve the testability of Component-based Software. 93-98
  
• Jessica Chen, Guy-Vincent Jourdan, Wenxin Ma, Hasan Ural:
  Improving Coverage in Functional Testing. 99-106
  
• Zhongxing Xu, Jian Zhang:
  A Test Data Generation Tool for Unit Testing of C Programs. 107-116
  

Requirements Engineering

• Aneesh Krishna, Ying Guan, Aditya K. Ghose:
  Co-evolution of i* Models and 3APL Agents. 117-124
  
• Haruhiko Kaiya, Kouta Sasaki, Kenji Kaijiri:
  PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application. 125-132
  
• Nelly Condori-Fernández, Oscar Pastor:
  An Empirical Study on the Likelihood of Adoption in Practice of a Size Measurement Procedure for Requirements Specification. 133-140
  
• Aditya Ghose, Qiuming Lin:
  Viewpoints Merging via Incrementally Elicited Ranked Structures. 141-150
  

Formal Methods

• Li Tan:
  Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications. 151-158
  
• Peng Wang, Kai-Yuan Cai:
  Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems. 159-166
  
• Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel:
  Automatic Visualization of Abstract System Specifications. 167-174
  
• Hui Ma, Klaus-Dieter Schewe, Jane Zhao:
  View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement. 175-184
  

Quality Management

• Heng Lu, W. K. Chan, T. H. Tse:
  Static Slicing for Pervasive Programs. 185-192
  
• Yingyi Bu, Tao Gu, XianPing Tao, Jun Li, Shaxun Chen, Jian Lu:
  Managing Quality of Context in Pervasive Computing. 193-200
  
• Muhammad Ali Babar, Antony Tang, Ian Gorton, Jun Han:
  Industrial Perspective on the Usefulness of Design Rationale for Software Maintenance: A Survey. 201-208
  
• Hao Wang, Fei Peng, Chao Zhang, Andrej Pietschker:
  Software Project Level Estimation Model Framework based on Bayesian Belief Networks. 209-218
  

Software Architecture, Pattern and Framework

• Tao Zhang, Shi Ying, Sheng Cao, Xiangyang Jia:
  A Modeling Framework for Service-Oriented Architecture. 219-226
  
• Anna Derezinska:
  Quality Assessment of Mutation Operators Dedicated for C# Programs. 227-234
  
• Shi Ying, ZaoQing Liang, JunLi Wang, FuDi Wang:
  A Reflection Mechanism for Reusing Software Architecture. 235-243
  
• Jiakuan Ma, Yasha Wang:
  A Quantitive Context Model of Software Process Patterns and Its Application Method. 243-250
  

Software Testing 2

• Johannes Mayer, Christoph Schneckenburger:
  Adaptive Random Testing with Enlarged Input Domain. 251-258
  
• Changhai Nie, Baowen Xu, Ziyuan Wang, Liang Shi:
  Generating Optimal Test Set for Neighbor Factors Combinatorial Testing. 259-265
  
• Jessica Chen, Lihua Duan:
  Optimal Synchronizable Test Sequence from Test Segments. 266-273
  
• Kwok Ping Chan, Tsong Yueh Chen, Dave Towey:
  Probabilistic Adaptive Random Testing. 274-280
  

Quality Attributes Measurement and Analysis 2

• Li Meng, Xiaoyuan He, Sontakke Ashok:
  Defect Prevention: A General Framework and Its Application. 281-286
  
• Silvia Mara Abrahão, Emilio Insfrán:
  Early Usability Evaluation in Model Driven Architecture Environments. 287-294
  
• Jie Yang, Gang Huang, Li Zhou, Zhao Liu, Meng Ye, Ying Chen:
  An Approach to Composing Multiple Component Implementations for Satisfying Quality Requirements. 295-302
  
• Lei Li, Chunlei Niu, Haoran Zheng, Jun Wei:
  An Adaptive Caching Mechanism for Web Services. 303-312
  

Validation and Verification 2

• Wei-Tek Tsai, Qian Huang, Bingnan Xiao, Yinong Chen:
  Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture. 313-320
  
• Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li:
  Modularly Certified Dynamic Storage Allocation in SCAP. 321-328
  
• Arnaud Gotlieb, Patrick Bernard:
  A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. 329-336
  
• Haifeng Li, Minyan Lu, Qiuying Li:
  Software Reliability Metrics Selecting Method Based on Analytic Hierarchy Process. 337-346
  

Agile Development and Education

• Henrik Hedberg, Juha Iisakka:
  Technical Reviews in Agile Development: Case Mobile-D^TM. 347-353
  
• Nor Iadah Yusop:
  Teaching Object-Oriented Systems Analysis to Non-IT Students: A Practical Experience. 354-359
  
• Yuen-Tak Yu, C. K. Poon, Marian Choy:
  Experiences with PASS: Developing and Using a Programming Assignment aSsessment System. 360-368
  

Component-Based Systems

• Stephen S. Yau, Choksing Taweponsomkiat, Dazhi Huang:
  A Framework for Extensible Component Customization for Component-based Software Development. 369-376
  
• Yunni Xia, Hanpin Wang, Yu Huang, Chunxiang Xu:
  Stochastic modeling and quality evaluation of component-based software systems. 377-384
  
• Zhuopeng Zhang, Hongji Yang, William C. Chu:
  Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service Integration. 385-392
  
• Beihong Jin, Gang Li, Liang Zhang:
  Reconstruct the Distributed Transaction Monitor OnceTX. 393-402
  

Model Checking

• Shi Zhang, Linpeng Huang:
  Formalizing Class Dynamic Software Updating. 403-409
  
• Zhifeng Lai, S. C. Cheung, Yunfei Jiang:
  Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. 410-417
  
• Fei Pu, Wenhui Zhang:
  LTL Model Checking via Search Space Partition. 418-428
  

ISEAT 2006

• Hui Wang, Deguo Yang, YuHui Zhao, Yuan Gao:
  Multiagent System for Reputation--based Web Services Selection. 429-434
  
• Rune Gustavsson:
  Proper use of Agent Technologies in Design and Implementation of Software Intensive Systems. 435-440
  
• Donghong Qin, Zhi Li:
  Evaluation and Research of Strong Migration of Mobile Agent for Exploiting Type Inference. 441-445
  
• Mohammad M. R. Bhuiyan, M. M. Zahidul Islam, Aneesh Krishna, Aditya K. Ghose:
  Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams. 446-451
  
• Lin Liu, Qiang Liu, Chi-Hung Chi, Zhi Jin, Eric S. K. Yu:
  Towards A Service Requirements Ontology on Knowledge and Intention. 452-462