Default Cover Image

Asia-Pacific Conference on Quality Software

Oct. 30 2000 to Oct. 31 2000

Hong Kong, China

ISBN: 0-7695-0825-1

Table of Contents

Proceedings First Asia-Pacific Conference on Quality SoftwareFreely available from IEEE.pp. iii,iv,v,vi,vii,viii
Message from the General ChairFreely available from IEEE.pp. ix
Message from the Program Co-ChairsFreely available from IEEE.pp. x
Conference CommitteesFreely available from IEEE.pp. xi
ReviewersFreely available from IEEE.pp. xiii
Keynote Address I
Keynote Address IFreely available from IEEE.pp. 3
Session 1A: Web-Based Systems
Object-Based Data Flow Testing of Web ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 7
Session 1A: Web-Based Systems
Object Driven Performance Testing in Web ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 17
Session 1B: Distributed, Concurrent, and Real-Time Systems
Control of Nondeterminism in Testing Distributed Multithreaded ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 29
Session 1B: Distributed, Concurrent, and Real-Time Systems
An Approach to Analyzing Dependency of Concurrent ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 39
Session 1B: Distributed, Concurrent, and Real-Time Systems
Modeling and Verification of a Network Player System with DCValidFull-text access may be available. Sign in or learn about subscription options.pp. 44
Session 2A: Metrics and Models
A Formal Mechanism for Assessing Polymorphism in Object-Oriented SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 53
Session 2A: Metrics and Models
A Framework for Quantifying Error Proneness in SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 63
Session 2A: Metrics and Models
Software Quality Prediction Using Mixture Models with EM AlgorithmFull-text access may be available. Sign in or learn about subscription options.pp. 69
Session 2B: Software Testing I
On the Determination of an Appropriate Time for Ending the Software Testing ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 81
Session 2B: Software Testing I
Testing of Large Number Multiplication Functions in Cryptographic SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 89
Session 2B: Software Testing I
An Approach to Modify and Test Expired Window LogicFull-text access may be available. Sign in or learn about subscription options.pp. 99
Session 3A: Object-Oriented Models and Design
An Object-Oriented Web Test Model for Testing Web ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 111
Session 3A: Object-Oriented Models and Design
Object Oriented Design Function PointsFull-text access may be available. Sign in or learn about subscription options.pp. 121
Session 3A: Object-Oriented Models and Design
Quality Metrics of Object Oriented Design for Software Development and Re-DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 127
Session 3B: Software Testing II
BS 7925-2: The Software Component Testing StandardFull-text access may be available. Sign in or learn about subscription options.pp. 139
Session 3B: Software Testing II
On the Completeness of Test Cases for Atomic Arithmetic ExpressionsFull-text access may be available. Sign in or learn about subscription options.pp. 149
Session 3B: Software Testing II
Testing for Imperfect Integration of Legacy Software ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 156
Keynote Address II
Achieving Quality Software Development for Distributed EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 169
Session 4A: Software Quality Assurance
How to Teach Practical Software Quality Assurance: An Experience ReportFull-text access may be available. Sign in or learn about subscription options.pp. 181
Session 4A: Software Quality Assurance
The 9 Quadrant Model for Code ReviewsFull-text access may be available. Sign in or learn about subscription options.pp. 188
Session 4B: Formal Methods
Formal Modeling of Interactive SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 207
Session 4B: Formal Methods
Refinement and Modular Verification with ObserversFull-text access may be available. Sign in or learn about subscription options.pp. 216
Session 4B: Formal Methods
TDL: A Language for Transition Diagrams in the Derivation of LOTOS SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 226
Session 5A: Industrial Experience
Software Acquisition Management Experience Learnt in a Multi Discipline and Multi Contract Project EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 239
Session 5A: Industrial Experience
Quality Improvement - The Six Sigma WayFull-text access may be available. Sign in or learn about subscription options.pp. 248
Session 5A: Industrial Experience
Software Project Measurement CriteriaFull-text access may be available. Sign in or learn about subscription options.pp. 258
Session 5B: Test Case Generation
Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric ConstraintsFull-text access may be available. Sign in or learn about subscription options.pp. 267
Session 5B: Test Case Generation
White on Black: A White-Box-Oriented Approach for Selecting Black-Box-Generated Test CasesFull-text access may be available. Sign in or learn about subscription options.pp. 275
Session 5B: Test Case Generation
Towards a More Efficient Way of Generating Test Cases: Class GraphsFull-text access may be available. Sign in or learn about subscription options.pp. 285
Session 6A: Prototyping
A Model and Prototype Tool to Manage Software RisksFull-text access may be available. Sign in or learn about subscription options.pp. 297
Session 6A: Prototyping
Abductive Approach to Prototyping Data Flow DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 306
Session 6B: Electronic Commerce
E-Business Testing: User Perceptions and Performance IssuesFull-text access may be available. Sign in or learn about subscription options.pp. 315
Session 6B: Electronic Commerce
A Reference Infrastructure for Electronic CommerceFull-text access may be available. Sign in or learn about subscription options.pp. 324
Session 6B: Electronic Commerce
Author IndexFreely available from IEEE.pp. 335
Showing 42 out of 42