Message from the General Chair

Message from the Program Co-Chairs (PDF)

pp. x

Conference Committees (PDF)

pp. xi

Reviewers (PDF)

pp. xiii

Keynote Address I

Keynote Address I (PDF)

pp. 3

Session 1A: Web-Based Systems

Object-Based Data Flow Testing of Web Applications (Abstract)

Chien-Hung Liu, University of Texas at Arlington

David C. Kung, University of Texas at Arlington

Pei Hsia, University of Texas at Arlington

Chih-Tung Hsu, Sun Microsystems, Inc.

pp. 7

PDF

Object Driven Performance Testing in Web Applications (Abstract)

B.M. Subraya, Infosys Technologies Limited

S.V. Subrahmanya, Infosys Technologies Limited

pp. 17

PDF

Session 1B: Distributed, Concurrent, and Real-Time Systems

Control of Nondeterminism in Testing Distributed Multithreaded Programs (Abstract)

X. Cai, University of Windsor

J. Chen, University of Windsor

pp. 29

PDF

An Approach to Analyzing Dependency of Concurrent Programs (Abstract)

Zhenqiang Chen, Southeast University

Baowen Xu, Southeast University

Hongji Yang, De Montfort University

Kecheng Liu, Staffordshire University

Jianping Zhang, Utah State University

pp. 39

PDF

Modeling and Verification of a Network Player System with DCValid (Abstract)

Wang Jianzhong, United Nations University

Xu Qiwen, United Nations University

Ma Huadong, Beijing University of Posts and Telecommunications

pp. 44

PDF

Session 2A: Metrics and Models

A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems (Abstract)

Claudia Pons, Universidad Nacional de La Plata

Máximo Prieto, Universidad Nacional de La Plata

Luis Olsina, UNLPam

pp. 53

PDF

A Framework for Quantifying Error Proneness in Software (Abstract)

Renate Sitte, Griffith University

pp. 63

PDF

Software Quality Prediction Using Mixture Models with EM Algorithm (Abstract)

Ping Guo, Chinese University of Hong Kong

Michael R. Lyu, Chinese University of Hong Kong

pp. 69

PDF

Session 2B: Software Testing I

On the Determination of an Appropriate Time for Ending the Software Testing Process (Abstract)

N. Malevris, Athens University of Economics and Business

E. Petrova, Elitherm S.A.

pp. 81

PDF

Testing of Large Number Multiplication Functions in Cryptographic Systems (Abstract)

T.H. Tse, University of Hong Kong

Zhiquan Zhou, University of Hong Kong

T.Y. Chen, Swinburne University of Technology

pp. 89

PDF

An Approach to Modify and Test Expired Window Logic (Abstract)

W.T. Tsai, Arizona State University and University of Minnesota

Xiaoying Bai, Arizona State University

Raymond Paul, Department of Defense

George Devaraj, University of Minnesota

Vishal Agarwal, University of Minnesota

pp. 99

PDF

Session 3A: Object-Oriented Models and Design

An Object-Oriented Web Test Model for Testing Web Applications (Abstract)

David C. Kung, University of Texas at Arlington

Chien-Hung Liu, University of Texas at Arlington

Pei Hsia, University of Texas at Arlington

pp. 111

PDF

Object Oriented Design Function Points (Abstract)

D. Janaki Ram, Indian Institute of Technology at Madras

S.V.G.K. Raju, Indian Institute of Technology at Madras

pp. 121

PDF

Quality Metrics of Object Oriented Design for Software Development and Re-Development (Abstract)

K. Liu, Staffordshire University

S. Zhou, De Montfort University

H. Yang, De Montfort University

pp. 127

PDF

Session 3B: Software Testing II

BS 7925-2: The Software Component Testing Standard (Abstract)

Stuart C. Reid, Cranfield University

pp. 139

PDF

On the Completeness of Test Cases for Atomic Arithmetic Expressions (Abstract)

T.H. Tse, University of Hong Kong

X. Feng, University of Hong Kong

T.Y. Chen, Swinburne University of Technology

pp. 149

PDF

Testing for Imperfect Integration of Legacy Software Components (Abstract)

David Flater, National Institute of Standards and Technology

pp. 156

PDF

Keynote Address II

Achieving Quality Software Development for Distributed Environments (Abstract)

Stephen S. Yau, Arizona State University

pp. 169

PDF

Session 4A: Software Quality Assurance

How to Teach Practical Software Quality Assurance: An Experience Report (Abstract)

J. Barrie Thompson, University of Sunderland

Helen M Edwards, University of Sunderland

pp. 181

PDF

The 9 Quadrant Model for Code Reviews (Abstract)

Ravi Prakash Nandivada, Tata Consultancy Services

Arunava Chandra, Tata Consultancy Services

Saswata Dutta, Tata Consultancy Services

Gargi Keeni, Tata Consultancy Services

pp. 188

PDF

Investigating the Effect of a Second Software Inspection Cycle: Cost-Benefit Data from a Large-Scale Experiment on Reinspection of a Software Requirements Document (Abstract)

Stefan Biffl, Technical University of Vienna

Michael Halling, Technical University of Vienna

Monika Köhle, Technical University of Vienna

pp. 194

PDF

Session 4B: Formal Methods

Formal Modeling of Interactive Systems (Abstract)

Doug Goldson, Massey University

pp. 207

PDF

Refinement and Modular Verification with Observers (Abstract)

Agathe Merceron, University of Sydney

G. Michele Pinna, Universit? di Siena

pp. 216

PDF

TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications (Abstract)

Yong Sun, Queen's University of Belfast

Hongji Yang, De Montfort University

Alan Dix, Staffordshire University

pp. 226

PDF

Session 5A: Industrial Experience

Software Acquisition Management Experience Learnt in a Multi Discipline and Multi Contract Project Environment (Abstract)

Sha Wong, Mass Transit Railway Corporation Limited

pp. 239

PDF

Quality Improvement - The Six Sigma Way (Abstract)

Mala Murugappan, Tata Consultancy Services

Gargi Keeni, Tata Consultancy Services

pp. 248

PDF

Software Project Measurement Criteria (Abstract)

I.M. Hampton

B.W.T. Quinn

pp. 258

PDF

Session 5B: Test Case Generation

Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric Constraints (Abstract)

Jian Zhang, Chinese Academy of Sciences

pp. 267

PDF

White on Black: A White-Box-Oriented Approach for Selecting Black-Box-Generated Test Cases (Abstract)

T.Y. Chen, Swinburne University of Technology

P.L. Poon, Hong Kong Polytechnic University

S.F. Tang, Hong Kong Polytechnic University

Y.T. Yu, City University of Hong Kong

pp. 275

PDF

Towards a More Efficient Way of Generating Test Cases: Class Graphs (Abstract)

Karl R.P.H. Leung, Hong Kong Institute of Vocational Education

Wai Wong, Hong Kong Baptist University

pp. 285

PDF

Session 6A: Prototyping

A Model and Prototype Tool to Manage Software Risks (Abstract)

Ayad Ali Keshlaf, Software Engineering Research Laboratory

Khairuddin Hashim, Virtual University

pp. 297

PDF

Abductive Approach to Prototyping Data Flow Diagrams (Abstract)

Erik T.H. Fung, City University of Hong Kong

pp. 306

PDF

Session 6B: Electronic Commerce

E-Business Testing: User Perceptions and Performance Issues (Abstract)

Andreas Rudolf, IBM Global Services

Rainer Pirker, IBM Global Services

pp. 315

PDF

A Reference Infrastructure for Electronic Commerce (Abstract)

Yu Li, Nanyang Technological University

Weihong Li, Nanyang Technological University

Hee Beng Kuan Tan, Nanyang Technological University

pp. 324

PDF

Author Index (PDF)

pp. 335