________________________________________________________________________
THE FIRST ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE
(APAQS 2000)
New World Renaissance Hotel Kowloon, Hong Kong
October 30-31, 2000
________________________________________________________________________
ADVANCE PROGRAM
66 papers were submitted to APAQS 2000 from over twenty countries from
within and outside the Asia-Pacific region. 35 quality papers were
selected by an international program committee. The proceedings will be
published by IEEE Computer Society Press, Los Alamitos, California.
The following is an advance program. Registration material and further
information are available at
http://www.csis.hku.hk/~apaqs
The deadline for early bird registration is July 31, 2000. We look
forward to your participation.
Our apologies if you have received multiple copies of this advance
program.
________________________________________________________________________
________________________________________________________________________
MONDAY OCTOBER 3O
________________________________________________________________________
REGISTRATION 8:3O-9:30 A.M.
________________________________________________________________________
OPENING SESSION 9:30-1O:45 A.M.
________________________________________________________________________
- Welcome Address from the General Chair
Danny Tang, General Manager of Information Technology,
Kowloon-Canton Railway Corporation, Hong Kong
- Program Overview
T.H. Tse and T.Y. Chen, Program Co-Chairs
- Keynote Speech I
K.H. Lau, Director of Information Technology Services,
Government of the Hong Kong Special Administrative Region
________________________________________________________________________
COFFEE BREAK 1O:45-11:15 A.M.
________________________________________________________________________
PARALLEL SESSIONS 1 11:15 A.M.-12:3O P.M.
________________________________________________________________________
Session 1A: Web-Based Systems
- A practice on performance testing for web-based systems
W.-K. Chang and S.-K. Hon, Tunghai University, Taiwan
- Object-based data flow testing of web applications
C.-H. Liu, D.C. Kung, and P. Hsia, University of Texas at
Arlington;
C.-T. Hsu, Sun Microsystems, Inc., USA
- Object driven performance testing in web applications
B.M. Subraya and S.V. Subrahmaa, Infosys Technologies, India
Session 1B: Distributed, Concurrent and Real-Time Systems
- Control of nondeterminism in testing distributed multithreaded
programs
X. Cai and J. Chen, University of Windsor, Canada
- An approach to analysing dependency of concurrent programs
Z. Chen and B. Xu, Southeast University, China;
H. Yang, De Montfort University, UK;
K. Liu, Staffordshire University, UK;
Jianping Zhang, Utah State University, USA
- Modelling and verification of network player system with DCValid
J. Wang and Q. Xu, United Nations University International
Institute for Software Technology, Macau;
H. Ma, Beijing University of Posts and Telecommunication, China
________________________________________________________________________
LUNCH 12:3O-2:OO P.M.
________________________________________________________________________
PARALLEL SESSIONS 2 2:OO-3:15 P.M.
________________________________________________________________________
Session 2A: Metrics and Models
- A formal metric for assessing polymorphism in object-oriented
systems
C. Pons and L. Usina, Universidad Nacional de La Plata, Argentina;
M. Prieto, J.P. Morgan Bank, Argentina
- A framework for quantifying error proneness in software
R. Sitte, Griffith University, Gold Coast Campus, Australia
- Software quality prediction using mixture models with EM algorithm
P. Guo and M.R. Lyu, The Chinese University of Hong Kong, Hong Kong
Session 2B: Software Testing I
- On the determination of an appropriate time for ending the software
testing process
N. Malevris and E. Petrova, Athens University of Economics and
Business, Greece
- Testing of large number multiplication functions in cryptographic
systems
T.H. Tse, The University of Hong Kong, Hong Kong;
T.Y. Chen, Swinburne University of Technology, Australia;
Z. Zhou, The University of Hong Kong, Hong Kong
- An approach to modify and test expired window logic
W.T. Tsai, Arizona State University and University of Minnesota,
USA;
X. Bai, Arizona State University, USA;
R. Paul, Office of the Assistant Secretary of Defense, USA;
G. Devaraj and V. Agarwal, University of Minnesota, USA
________________________________________________________________________
COFFEE BREAK 3:15-3:45 P.M.
________________________________________________________________________
PARALLEL SESSIONS 3 3:45-5:OO P.M.
________________________________________________________________________
Session 3A: Object-Oriented Models and Design
- An object-oriented web test model for testing web applications
D.C. Kung, C.-H. Liu, and P. Hsia, University of Texas at
Arlington, USA
- Object-oriented design function points
D.J. Ram and S.V.G.K. Raju, Indian Institute of Technology, Madras,
India
- Quality metrics of object-oriented design for software development
and re-development
K. Liu, Staffordshire University, UK;
S. Zhou and H. Yang, De Montfort University, UK
Session 3B: Software Testing II
- BS 7925-2 the software component testing standard
S.C. Reid, Cranfield University, UK
- On the completeness of test cases for atomic arithmetic expressions
T.H. Tse, The University of Hong Kong, Hong Kong;
T.Y. Chen, Swinburne University of Technology, Australia;
X. Feng, The University of Hong Kong, Hong Kong
- Testing for imperfect integration of legacy software components
D. Flater, National Institute of Standards and Technology, USA
________________________________________________________________________
CONFERENCE BANQUET 6:3O P.M. FOR 7:3O P.M.
________________________________________________________________________
________________________________________________________________________
TUESDAY OCTOBER 31
________________________________________________________________________
PLENARY SESSION 9:15-1O:15 P.M.
________________________________________________________________________
- Keynote Speech II
Stephen Yau, Arizona State University, USA
________________________________________________________________________
COFFEE BREAK 1O:15-1O:45 A.M.
________________________________________________________________________
PARALLEL SESSIONS 4 1O:45 A.M.-12:25 P.M.
________________________________________________________________________
Session 4A: Software Quality Assurance
- How to teach practical software quality assurance: an experience
report
J.B. Thompson and H.M. Edwards, University of Sunderland, UK
- The 9 quadrant model for code reviews
R. Prakash, Tata Consultancy Services, India
- Investigating the effect of a second software inspection pass
cost-benefit data from a large-scale experiment on reinspection of
a software requirements document
S. Biffl, M. Halling, and M. Kohle, Technische Universitat Wien,
Austria
Session 4B: Formal Methods
Special Guest Session Chair: Hans-Dieter Ehrich,
Technische Universitaet Carolo-Wilhelmina zu Braunschweig, Germany
- Formal modelling of interactive systems
D. Goldson, Massey University Albany Campus, New Zealand
- Refinement and modular verification with observers
A. Merceron, University of Sidney, Australia
G.M. Pinna, Universita di Siena, Italy
- TDL: a language for transition diagrams in the derivation of LOTOS
specifications
Y. Sun, The Queen's University of Belfast, UK
H. Yang, De Montfort University, UK
A. Dix, Staffordshire University, UK
- Incremental analysis of security protocols using model checking
W. Wen, Science University of Tokyo, Japan
________________________________________________________________________
LUNCH 12:3O-2:OO P.M.
________________________________________________________________________
PARALLEL SESSIONS 5 2:OO-3:15 P.M.
________________________________________________________________________
Session 5A: Industrial Experience
- Software management learning experience in a multi-discipline and
multi-contract project environment
S. Wong, Mass Transit Railway Corporation, Hong Kong
- Benefits accrued by the 6 sigma approach
M. Murugappan and R. Sokhi, Tata Consultancy Services, India
- Software project measurement criteria
I.M. Hampton and B.W.T. Quinn, Mass Transit Railway Corporation,
Hong Kong
Session 5B: Test Case Generation
- Specification analysis and test data generation by solving boolean
combinations of numeric constraints
Jian Zhang, Chinese Academy of Sciences, China
- White on black: a white-box-oriented approach for selecting
black-box-generated test cases
T.Y. Chen, Swinburne University of Technology, Australia;
P.L. Poon and S.F. Tang, The Hong Kong Polytechnic University, Hong
Kong;
Y.T. Yu, City University of Hong Kong, Hong Kong
- Towards a more efficient way of generating test cases: class graphs
K.R.P.H. Leung, Hong Kong Institute of Vocational Education, Hong
Kong;
W. Wong, Hong Kong Baptist University, Hong Kong
________________________________________________________________________
COFFEE BREAK 3:15-3:45 A.M.
________________________________________________________________________
PARALLEL SESSIONS 6 3:45-4:35 P.M.
________________________________________________________________________
Session 6A: Prototyping
- A model and prototype tool to manage software risks
A.A. Keshlaf, Industrial Research Center, Tripoli, Libya;
K. Hashim, Universiti Tun Abdul Razak, Kuala Lumpur, Malaysia
- Abductive approach to prototyping data flow diagrams
E.T.H. Fung, City University of Hong Kong, Hong Kong
Session 6B: Electronic Commerce
- E-business testing: user perceptions and performance issues
A. Rudolf and R. Pirker, IBM Global Services, Vienna, Austria
- A reference infrastructure for electronic commerce
Y. Li, W. Li, and H.B.K. Tan, Nanyang Technological University,
Singapore
________________________________________________________________________
________________________________________________________________________
Dr T.H. Tse
Associate Professor
Department of Computer Science and Information Systems
The University of Hong Kong
Pokfulam Road
HONG KONG
Tel +852 / 2859 2183 Email mailto:[log in to unmask]
Fax +852 / 2559 8447 Web http://www.csis.hku.hk/~tse
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
