search for books and compare prices
Tables of Contents for 1st Asia-Pacific Conference on Quality Software (Apaqs 2000)
Chapter/Section Title
Page #
Page Count
Message from the General Chair
ix
 
Message from the Program Co-Chairs
x
 
Conference Committees
xi
 
Reviewers
xiii
 
Keynote Address I
Director of Information Technology Services, Government of the Hong Kong Special Administrative Region, China
3
4
K.H. Lau
Session 1A: Web-Based Systems
Object-Based Data Flow Testing of Web Applications
7
10
C.-H. Liu
D.C. Kung
P. Hsia
C.-T. Hsu
Object Driven Performance Testing in Web Applications
17
12
B.M. Subraya
S.V. Subrahmanya
Session 1B: Distributed, Concurrent, and Real-Time Systems
Control of Nondeterminism in Testing Distributed Multithreaded Programs
29
10
X. Cai
J. Chen
An Approach to Analyzing Dependency of Concurrent Programs
39
5
Z. Chen
B. Xu
K. Liu
H. Yang
Jianping Zhang
Modeling and Verification of a Network Player System with DCValid
44
9
J. Wang
Q. Xu
H. Ma
Session 2A: Metrics and Models
A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems
53
10
C. Pons
L. Olsina
M. Prieto
A Framework for Quantifying Error Proneness in Software
63
6
R. Sitte
Software Quality Prediction Using Mixture Models with EM Algorithm
69
12
P. Guo
M.R. Lyu
Session 2B: Software Testing I
On the Determination of an Appropriate Time for Ending the Software Testing Process
81
8
N. Malevris
E. Petrova
Testing of Large Number Multiplication Functions in Cryptographic Systems
89
10
T.H. Tse
T.Y. Chen
Z. Zhou
An Approach to Modify and Test Expired Window Logic
99
12
W.T. Tsai
X. Bai
R. Paul
G. Devaraj
V. Agarwal
Session 3A: Object-Oriented Models and Design
An Object-Oriented Web Test Model for Testing Web Applications
111
10
D.C. Kung
C.-H. Liu
P. Hsia
Object Oriented Design Function Points
121
6
D.J. Ram
S.V.G.K. Raju
Quality Metrics of Object Oriented Design for Software Development and Re-Development
127
12
K. Liu
S. Zhou
H. Yang
Session 3B: Software Testing II
BS 7925-2: The Software Component Testing Standard
139
10
S.C. Reid
On the Completencess of Test Cases for Atomic Arithmetic Expressions
149
7
T.H. Tse
T.Y. Chen
X. Feng
Testing for Imperfect Integration of Legacy Software Components
156
13
D. Flater
Keynote Address II
Achieving Quality Software Development for Distributed Environments
169
12
S.S. Yau
Session 4A: Software Quality Assurance
How to Teach Practical Software Quality Assurance: An Experience Report
181
7
J.B. Thompson
H.M. Edwards
The 9 Quadrant Model for Code Reviews
188
6
R.P. Nandivada
S. Dutta
A. Chandra
G. Keeni
Investigating the Effect of a Second Software Inspection Cycle: Cost-Benefit Data from a Large-Scale Experiment on Reinspection of a Software Requirements Document
194
13
S. Biffl
M. Halling
M. Kohle
Session 4B: Formal Methods
Formal Modeling of Interactive Systems
207
9
D. Goldson
Refinement and Modular Verification with Observers
216
10
A. Merceron
G.M. Pinna
TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications
226
13
Y. Sun
H. Yang
A. Dix
Session 5A: Industrial Experience
Software Acquisition Management Experience Learnt in a Multi Discipline and Multi Contract Project Environment
239
9
S. Wong
Quality Improvement --- The Six Sigma Way
248
10
M. Murugappan
G. Keeni
Software Project Measurement Criteria
258
9
I.M. Hampton
B.W.T. Quinn
Session 5B: Test Case Generation
Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric Constraints
267
8
Jian Zhang
White on Black: A White-Box-Oriented Approach for Selecting Black-Box-Generated Test Cases
275
10
T.Y. Chen
P.L. Poon
S.F. Tang
Y.T. Yu
Towards a More Efficient Way of Generating Test Cases: Class Graphs
285
12
K.R.P.H. Leung
W. Wong
Session 6A: Prototyping
A Model and Prototype Tool to Manage Software Risks
297
9
A.A. Keshlaf
K. Hashim
Abductive Approach to Prototyping Data Flow Diagrams
306
9
E.T.H. Fung
Session 6B: Electronic Commerce
E-Business Testing: User Perceptions and Performance Issues
315
9
A. Rudolf
R. Pirker
A Reference Infrastructure for Electronic Commerce
324
11
Y. Li
W. Li
H.B.K. Tan
Author Index
335