APAQS 2000: Hong Kong, China

@proceedings{DBLP:conf/apaqs/2000,
  title     = {1st Asia-Pacific Conference on Quality Software (APAQS 2000),
               30-31 October 2000, Hong Kong, China, Proceedings},
  booktitle = {APAQS},
  publisher = {IEEE Computer Society},
  year      = {2000},
  isbn      = {0-7695-0825-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• K. H. Lau:
  Keynote Address I. 3-6
  Electronic Edition (link) BibTeX
• Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu:
  Object-Based Data Flow Testing of Web Applications. 7-16
  Electronic Edition (link) BibTeX
• B. M. Subraya, S. V. Subrahmanya:
  Object Driven Performance Testing in Web Applications. 17-28
  Electronic Edition (link) BibTeX
• X. Cai, J. Chen:
  Control of Nondeterminism in Testing Distributed Multithreaded Programs. 29-38
  Electronic Edition (link) BibTeX
• Zhenqiang Chen, Baowen Xu, Hongji Yang, Kecheng Liu, Jianping Zhang:
  An Approach to Analyzing Dependency of Concurrent Programs. 39-43
  Electronic Edition (link) BibTeX
• Jianzhong Wang, Qiwen Xu, Huadong Ma:
  Modeling and Verification of a Network Player System with DCValid. 44-52
  Electronic Edition (link) BibTeX
• Claudia Pons, Maximo Prieto, Luis Olsina:
  A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems. 53-62
  Electronic Edition (link) BibTeX
• Renate Sitte:
  A Framework for Quantifying Error Proneness in Software. 63-68
  Electronic Edition (link) BibTeX
• Ping Guo, Michael R. Lyu:
  Software Quality Prediction Using Mixture Models with EM Algorithm. 69-80
  Electronic Edition (link) BibTeX
• Nicos Malevris, E. Petrova:
  On the Determination of an Appropriate Time for Ending the Software Testing Process. 81-88
  Electronic Edition (link) BibTeX
• T. H. Tse, Zhiquan Zhou, T. Y. Chen:
  Testing of Large Number Multiplication Functions in Cryptographic Systems. 89-98
  Electronic Edition (link) BibTeX
• Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, George Devaraj, Vishal Agarwal:
  An Approach to Modify and Test Expired Window Logic. 99-110
  Electronic Edition (link) BibTeX
• David Chenho Kung, Chien-Hung Liu, Pei Hsia:
  An Object-Oriented Web Test Model for Testing Web Applications . 111-120
  Electronic Edition (link) BibTeX
• D. Janaki Ram, S. V. G. K. Raju:
  Object Oriented Design Function Points. 121-126
  Electronic Edition (link) BibTeX
• K. Liu, S. Zhou, H. Yang:
  Quality Metrics of Object Oriented Design for Software Development and Re-Development. 127-138
  Electronic Edition (link) BibTeX
• Stuart C. Reid:
  BS 7925-2: The Software Component Testing Standard. 139-148
  Electronic Edition (link) BibTeX
• T. H. Tse, X. Feng, T. Y. Chen:
  On the Completeness of Test Cases for Atomic Arithmetic Expressions. 149-155
  Electronic Edition (link) BibTeX
• David Flater:
  Testing for Imperfect Integration of Legacy Software Components. 156-168
  Electronic Edition (link) BibTeX
• Stephen S. Yau:
  Achieving Quality Software Development for Distributed Environments. 169-180
  Electronic Edition (link) BibTeX
• J. Barrie Thompson, Helen M. Edwards:
  How to Teach Practical Software Quality Assurance: An Experience Report. 181-187
  Electronic Edition (link) BibTeX
• Ravi Prakash Nandivada, Arunava Chandra, Saswata Dutta, Gargi Keeni:
  The 9 Quadrant Model for Code Reviews. 188-193
  Electronic Edition (link) BibTeX
• Stefan Biffl, Michael Halling, Monika Köhle:
  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-206
  Electronic Edition (link) BibTeX
• Doug Goldson:
  Formal Modeling of Interactive Systems. 207-215
  Electronic Edition (link) BibTeX
• Agathe Merceron, G. Michele Pinna:
  Refinement and Modular Verification with Observers. 216-225
  Electronic Edition (link) BibTeX
• Yong Sun, Hongji Yang, Alan J. Dix:
  TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications. 226-238
  Electronic Edition (link) BibTeX
• Sha Wong:
  Software Acquisition Management Experience Learnt in a Multi Discipline and Multi Contract Project Environment. 239-247
  Electronic Edition (link) BibTeX
• Mala Murugappan, Gargi Keeni:
  Quality Improvement - The Six Sigma Way. 248-257
  Electronic Edition (link) BibTeX
• I. M. Hampton, B. W. T. Quinn:
  Software Project Measurement Criteria. 258-266
  Electronic Edition (link) BibTeX
• Jian Zhang:
  Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric Constraints. 267-274
  Electronic Edition (link) BibTeX
• Tsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, Yuen-Tak Yu:
  White on Black: A White-Box-Oriented Approach for Selecting Black-Box-Generated Test Cases. 275-284
  Electronic Edition (link) BibTeX
• Karl R. P. H. Leung, Wai Wong:
  Towards a More Efficient Way of Generating Test Cases: Class Graphs. 285-296
  Electronic Edition (link) BibTeX
• Ayad Ali Keshlaf, Khairuddin Hashim:
  A Model and Prototype Tool to Manage Software Risks. 297-305
  Electronic Edition (link) BibTeX
• Erik T. H. Fung:
  Abductive Approach to Prototyping Data Flow Diagrams. 306-314
  Electronic Edition (link) BibTeX
• Andreas Rudolf, Rainer Pirker:
  E-Business Testing: User Perceptions and Performance Issues. 315-323
  Electronic Edition (link) BibTeX
• Yu Li, Weihong Li, Hee Beng Kuan Tan:
  A Reference Infrastructure for Electronic Commerce. 324-334
  Electronic Edition (link) BibTeX