The Community for Technology Leaders
Quality Software, International Conference on (2003)
Dallas, Texas
Nov. 6, 2003 to Nov. 7, 2003
ISBN: 0-7695-2015-4
TABLE OF CONTENTS
Keynote Address I

Data Mining and Cyber Security (PDF)

Bhavani Thuraisingham , MITRE Corporation, Bedford, MA
pp. 2
Session 1A: Testing Strategies

Mirror Adaptive Random Testing (Abstract)

S. P. Ng , Swinburne University of Technology
R. G. Merkel , Swinburne University of Technology
F. C. Kuo , Swinburne University of Technology
T. Y. Chen , Swinburne University of Technology
pp. 4

Incremental Testing for Self-Evolving Timed Systems (Abstract)

M. Zheng , University of Wisconsin-LaCrosse, La Crosse, WI
O. Ormandjieva , Concordia University, Montreal, Canada
V. S. Alagar , Concordia University, Montreal, Canada
pp. 12

Random Program Generator for Java JIT Compiler Test System (Abstract)

Toshihiro Ozawa , Fujitsu Laboratories LTD, Japan
Takahide Yoshikawa , Fujitsu Laboratories LTD, Japan
Kouya Shimura , Fujitsu Laboratories LTD, Japan
pp. 20
Session 1B: Software Reliability

Dynamic Test Allocation Model for Software Reliability (Abstract)

Kamel Rekab , Florida Institute of Technology, Melbourne
Shereef Abu Al-Maati , State University of West Georgia, Carrollton
pp. 26

How to Test Software for Optimal Software Reliability Assessment (Abstract)

Ke Liu , Chinese Academy of Sciences, China
Kai-Yuan Cai , Beijing University of Aeronautics and Astronautics, China
Yong-Chao Li , Beijing University of Aeronautics and Astronautics, China
pp. 32

Empirical Case Studies of Combining Software Quality Classification Models (Abstract)

Erik Geleyn , Florida Atlantic University, Boca Raton
Laurent Nguyen , Florida Atlantic University, Boca Raton
Taghi M Khoshgoftaar , Florida Atlantic University, Boca Raton
pp. 40
Session 1C: Software Quality I

PRISMA: Towards Quality, Aspect Oriented and Dynamic Software Architectures (Abstract)

Patricio Letelier , Politechnic University of Valencia
Javier Ja? , Politechnic University of Valencia
Jennifer P?rez , Politechnic University of Valencia
Isidro Ramos , Politechnic University of Valencia
Elena Navarro , University of Castilla-LaMancha
pp. 59

Walking the Talk Building Quality into the Software Quality Management Tool (Abstract)

Girish V. Seshagiri , Advanced Information Services Inc.
S. Priya , Advanced Information Services Pvt Ltd
pp. 67
Session 2A: Specification-Based Testing

Generating Small Combinatorial Test Suites to Cover Input-Output Relationships (Abstract)

Christine Cheng , University of Wisconsin-Milwaukee
Patrick Schroeder , University of Wisconsin-Milwaukee
Adrian Dumitrescu , University of Wisconsin-Milwaukee
pp. 76

Generating, Selecting and Prioritizing Test Cases from Specifications with Tool Support (Abstract)

Eric Y. K. Chan , City University of Hong Kong, Kowloon Tong
S. P. Ng , Swinburne University of Technology, Hawthorn, Australia
Y. T. Yu , City University of Hong Kong, Kowloon Tong
pp. 83

A Note on Test Oracles and Semantics of Algebraic Specifications (Abstract)

Hong Zhu , Oxford Brookes University, Wheatley Campus, UK
pp. 91
Session 2B: Software Development I

A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL (Abstract)

Sirin Bekbay , Hosei University, Tokyo, Japan
Shaoying Liu , Hosei University, Tokyo, Japan
pp. 100

Generating Scenarios from Use Case Map Specifications (Abstract)

Yong He , University of Ottawa, Canada
Daniel Amyot , University of Ottawa, Canada
Xiangyang He , University of Ottawa, Canada
Dae Yong Cho , Samsung Electronics Corp. Tech. Operations, Seoul, Korea
pp. 108

Debugging with Reverse Watchpoint (Abstract)

Kazutaka Maruyama , The University of Tokyo
Minoru Terada , The University of Electro-Communications
pp. 116
Session 2C: Cost Estimation

A Neuro-Fuzzy Model for Software Cost Estimation (Abstract)

Danny Ho , Motorola Canada Ltd, Markham, Canada
Jing Ren , University of Western Ontario, London, Canada
Xishi Huang , University of Western Ontario, London, Canada
Luiz F. Capretz , University of Western Ontario, London, Canada
pp. 126

A Preliminary Checklist for Software Cost Management (Abstract)

Magne J?rgensen , Simula Research Laboratory
Kjetil Mol?kken , Simula Research Laboratory
pp. 134

Software Cost Estimation through Conceptual Requirement (Abstract)

Hee Beng Kuan Tan , Nanyang Technological University, Singapore
Wei Zhang , JFM SOFTECH Pte Ltd
Yuan Zhao , Nanyang Technological University, Singapore
pp. 141
Session 3A: Testing And Components

State of the art in testing components (Abstract)

Volker Gruhn , University of Leipzig, Germany
Sami Beydeda , University of Leipzig, Germany
pp. 146

Asynchronous Communication For Complicated E-Commerce Applications (Abstract)

WeiQi Cao , Tsinghua University, Beijing
Tao Zeng , Tsinghua University, Beijing
JuanZi Li , Tsinghua University, Beijing
KeHong Wang , Tsinghua University, Beijing
pp. 161
Session 3B: Web-Based Systems

A Dialog Control Framework for Hypertext-Based Applications (Abstract)

Matthias Book , University of Leipzig, Germany
Volker Gruhn , University of Leipzig, Germany
pp. 170

A Systematic Framework for Evaluating Hyperlink Validity in Web Environments (Abstract)

Cheng-Chung William Chu , Tunghai University, Taiwan
Shing-Kai Hon , Tunghai University, Taiwan
Wen-Kui Chang , Tunghai University, Taiwan
pp. 178

Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces (Abstract)

Baskar Sridharan , Purdue University, West Lafayette, IN
Aditya P. Mathur , Purdue University, West Lafayette, IN
Kai-Yuan Cai , Beijing University of Aeronautics and Astronautics, China
pp. 186
Session 3C: Process Improvement

A model for the implementation of software process improvement: A pilot study (Abstract)

Didar Zowghi , University of Technology Sydney, Australia
David Wilson , University of Technology Sydney, Australia
Mahmood Niazi , University of Technology Sydney, Australia
pp. 196

PRISMS: an Approach to Software Process Improvement for Small to Medium Enterprises (Abstract)

Pat Allen , Leeds Metropolitan University
Hisham Abushama , Leeds Metropolitan University
Muthu Ramachandran , Leeds Metropolitan University
pp. 211
Keynote Speech II

Behavioral Verification of Distributed Concurrent Systems with BOBJ (Abstract)

Joseph Goguen , University of California at San Diego
Kai Lin , San Diego Supercomputer Center
pp. 216
Session 4A: Automated Testing I

Validating Use-Cases with the AsmL Test Tool (Abstract)

Nikolai Tillmann , Microsoft Research, Redmond, WA
Margus Veanes , Microsoft Research, Redmond, WA
Wolfgang Grieskamp , Microsoft Research, Redmond, WA
Wolfram Schulte , Microsoft Research, Redmond, WA
Mike Barnett , Microsoft Research, Redmond, WA
pp. 238

Combining Behavior and Data Modeling in Automated Test Case Generation (Abstract)

Pankaj Bolaki , University of Wisconsin - Milwaukee
Eok Kim , University of Wisconsin - Milwaukee
Jerry Arshem , University of Wisconsin - Milwaukee
Patrick J. Schroeder , University of Wisconsin - Milwaukee
pp. 247

Character String Predicate Based Automatic Software Test Data Generation (Abstract)

Michael R. Lyu , Chinese University of Hong Kong
Ruilian Zhao , Beijing University of Chemical Technology
pp. 255

Using the Incremental Approach to Generate Test Sets: A Case Study (Abstract)

M. F. Lau , Swinburne University of Technology, Australia
T. Y. Chen , Swinburne University of Technology, Australia
Y. T. Yu , City University of Hong Kong
pp. 263
Session 4B: Formal Methods and Verification

Verifying Haskell Programs by Combining Testing and Proving (Abstract)

Peter Dybjer , Chalmers University of Technology, Sweden
Qiao Haiyan , Chalmers University of Technology, Sweden
Makoto Takeyama , Chalmers University of Technology, Sweden
pp. 272

Modeling and Verifying a Lego Car Using Hybrid I/O Automata (Abstract)

Ansgar Fehnker , Carnegie Mellon University, Pittsburgh, PA
Frits Vaandrager , University of Nijmegen, The Netherlands
Miaomiao Zhang , University of Nijmegen, The Netherlands
pp. 280

Verifying CIM Models of Apache Web-Server Configurations (Abstract)

Amir Khosravizadeh , University of T?bingen, Germany
Carsten Sinz , University of T?bingen, Germany
Viktor Mihajlovski , IBM Lab. B?blingen, Germany
Wolfgang K?chlin , University of T?bingen, Germany
pp. 290

Formal Methods applied to Plywood Production (Abstract)

Marlene Lu , Universiti Malaysia Sarawak (UNIMAS)
Rosziati Ibrahim , Universiti Malaysia Sarawak (UNIMAS)
pp. 298
Session 4C: Process Assessment and Measurement

Status Report: Practical Software Measurement (Abstract)

David N. Card , Software Productivity Consortium
Cheryl L. Jones , US Army
pp. 315
Session 5A: Automated Testing II

MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3 (Abstract)

Fenhua Zhen , University of Erlangen-Nuremberg
Winfried Dulz , University of Erlangen-Nuremberg
pp. 336

Deriving Software Statistical Testing Model from UML Model (Abstract)

Wang Ji , National Laboratory for Parallel and Distributed Processing, Changsha
Yan Jiong , National Laboratory for Parallel and Distributed Processing, Changsha
Chen Huowang , National Laboratory for Parallel and Distributed Processing, Changsha
pp. 343
Session 5B: Software Development II

Visualization Techniques of Management Rules for Software Development Projects (Abstract)

Isabel Ramos , Universidad de Sevilla, Spain
Jos? C. Riquelme , Universidad de Sevilla, Spain
Jos? L. ?lvarez , Universidad de Huelva, Spain
Jes?s S. Aguilar , Universidad de Sevilla, Spain
Jacinto Mata , Universidad de Huelva, Spain
pp. 360

Measuring Functional Size of Interactive Software: A Support System Based on XForms-Format User Interface Specifications (Abstract)

Makoto Nonaka , Toyo University, Japan
Motoei Azuma , Waseda University, Japan
Akihiro Kakurai , Waseda University, Japan
Zhen Li , Waseda University, Japan
pp. 368
Session 5C: Software Quality II

CALDEA: A Data Quality Model Based on Maturity Levels (Abstract)

Ismael Caballero , ESI- Universidad de Castilla - La Mancha
Mario Piattini , ESI- Universidad de Castilla - La Mancha
pp. 380

Experiences in the Inspection Process Characterization Techniques (Abstract)

Rajashekara Swamy , Global Software Group, Motorola Malaysia
Viswanathan Narayana , Global Software Group, Motorola Malaysia
pp. 388

Diversifying and Improving Business Process Management Systems by Service Cooperation Middleware (Abstract)

Jun Wei , The Chinese Academy of Sciences, Beijing
Wei Xu , The Chinese Academy of Sciences, Beijing
Shaohua Liu , The Chinese Academy of Sciences, Beijing
pp. 396
Session 6A: Testing of Object-Oriented Systems

Constructing a Reproducible Testing Environment for Distributed Java Applications (Abstract)

K. Wang , Univ. of Windsor, Ont. Canada
J. Chen , Univ. of Windsor, Ont. Canada
pp. 402

Scenario-based Object-Oriented Testing Framework (Abstract)

R. Paul , Department of Defense, Washington, DC
W. T. Tsai , Arizona State University, Tempe
L. Yu , Arizona State University, Tempe
A. Saimi , Arizona State University, Tempe
pp. 410

Author Index (PDF)

pp. 418
89 ms
(Ver 3.3 (11022016))