6. QSIC 2006: Beijing, China

Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China. IEEE Computer Society 2006, ISBN 0-7695-2718-3 BibTeX

Panel Summary

J. Barrie Thompson:
Do we really have provable Best Practices that ensure Software Quality? 3
Electronic Edition (link) BibTeX

Keynote Speeches

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

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
Electronic Edition (link) BibTeX
Yang Li, Ningjiang Chen, Tao Huang:
An Event-Driven Adaptive Differentiated Service Web Container Architecture. 22-29
Electronic Edition (link) BibTeX
Aline Lúcia Baroni, Coral Calero, Fernando Brito e Abreu, Mario Piattini:
Object-Relational Database Metrics Formalization. 30-37
Electronic Edition (link) BibTeX
Jianjun Zhao:
Control-Flow Analysis and Representation for Aspect-Oriented Programs. 38-48
Electronic Edition (link) BibTeX

Validation and Verification 1

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

Software Testing 1

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

Requirements Engineering

Aneesh Krishna, Ying Guan, Aditya K. Ghose:
Co-evolution of i* Models and 3APL Agents. 117-124
Electronic Edition (link) BibTeX
Haruhiko Kaiya, Kouta Sasaki, Kenji Kaijiri:
PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application. 125-132
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Aditya Ghose, Qiuming Lin:
Viewpoints Merging via Incrementally Elicited Ranked Structures. 141-150
Electronic Edition (link) BibTeX

Formal Methods

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

Quality Management

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

Software Architecture, Pattern and Framework

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

Software Testing 2

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

Quality Attributes Measurement and Analysis 2

Li Meng, Xiaoyuan He, Sontakke Ashok:
Defect Prevention: A General Framework and Its Application. 281-286
Electronic Edition (link) BibTeX
Silvia Mara Abrahão, Emilio Insfrán:
Early Usability Evaluation in Model Driven Architecture Environments. 287-294
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Lei Li, Chunlei Niu, Haoran Zheng, Jun Wei:
An Adaptive Caching Mechanism for Web Services. 303-312
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li:
Modularly Certified Dynamic Storage Allocation in SCAP. 321-328
Electronic Edition (link) BibTeX
Arnaud Gotlieb, Patrick Bernard:
A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. 329-336
Electronic Edition (link) BibTeX
Haifeng Li, Minyan Lu, Qiuying Li:
Software Reliability Metrics Selecting Method Based on Analytic Hierarchy Process. 337-346
Electronic Edition (link) BibTeX

Agile Development and Education

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

Component-Based Systems

Stephen S. Yau, Choksing Taweponsomkiat, Dazhi Huang:
A Framework for Extensible Component Customization for Component-based Software Development. 369-376
Electronic Edition (link) BibTeX
Yunni Xia, Hanpin Wang, Yu Huang, Chunxiang Xu:
Stochastic modeling and quality evaluation of component-based software systems. 377-384
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Beihong Jin, Gang Li, Liang Zhang:
Reconstruct the Distributed Transaction Monitor OnceTX. 393-402
Electronic Edition (link) BibTeX

Model Checking

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

ISEAT 2006

Hui Wang, Deguo Yang, YuHui Zhao, Yuan Gao:
Multiagent System for Reputation--based Web Services Selection. 429-434
Electronic Edition (link) BibTeX
Rune Gustavsson:
Proper use of Agent Technologies in Design and Implementation of Software Intensive Systems. 435-440
Electronic Edition (link) BibTeX
Donghong Qin, Zhi Li:
Evaluation and Research of Strong Migration of Mobile Agent for Exploiting Type Inference. 441-445
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Lin Liu, Qiang Liu, Chi-Hung Chi, Zhi Jin, Eric S. K. Yu:
Towards A Service Requirements Ontology on Knowledge and Intention. 452-462
Electronic Edition (link) BibTeX