[Date Prev][Date Next] [Chronological] [Thread] [Top]
APAQS 2000 Advance Program

To: mizar-forum@mizar.uwb.edu.pl
Subject: APAQS 2000 Advance Program
From: Czeslaw Bylinski <bylinski@math.uwb.edu.pl>
Date: Tue, 11 Jul 2000 08:09:54 +0200 (MET DST)

---------- Forwarded message ----------
Date: Tue, 11 Jul 2000 05:28:37 +0200 (MET DST)
From: tse@csis.hku.hk
Received: from pledge.csis.hku.hk (tse@pledge [147.8.176.11])
	by ns.csis.hku.hk (8.10.1/8.10.1) with ESMTP id e6B3dPo26536
	for <mizar-forum@mizar.uwb.edu.pl>; Tue, 11 Jul 2000 11:39:27 +0800 (HKT)
Received: (from tse@localhost)
	by pledge.csis.hku.hk (8.9.3+Sun/8.9.1) id LAA25603
	for mizar-forum@mizar.uwb.edu.pl; Tue, 11 Jul 2000 11:39:23 +0800 (HKT)
To: mizar-forum@mizar.uwb.edu.pl
Subject: APAQS 2000 Advance Program

________________________________________________________________________

         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:tse@csis.hku.hk
Fax  +852 / 2559 8447    Web  http://www.csis.hku.hk/~tse
Prev by Date: FORTE/PSTV 2000 - Call for Participants
Next by Date: ACL2 Workshop 2000 (Update)
Index(es):
- Chronological
- Thread