The Community for Technology Leaders
Quality Software, International Conference on (2007)
Portland, Oregon, USA
Oct. 11, 2007 to Oct. 12, 2007
ISSN: 1550-6002
ISBN: 0-7695-3035-4
TABLE OF CONTENTS
Introduction
Introduction

Keynote Speeches (PDF)

pp. xix
Position Papers by Distinguished Plenary Panel

Semantic Computing and Quality Software (Abstract)

Phillip C.-Y. Sheu , University of California, Irvine
pp. 3
Session 1A: Software Testing 1

Testing Non-Functional Requirements with Aspects: An Industrial Case Study (Abstract)

Jani Mets? , Nokia Corporation Technology Platforms, Finland
Tommi Mikkonen , Tampere University of Technology, Finland
Mika Katara , Tampere University of Technology, Finland
pp. 5-14

Test Case Prioritization Based on Varying Testing Requirement Priorities and Test Case Costs (Abstract)

Xiaofang Zhang , Southeast University, China
Bo Qu , Southeast University, China
Baowen Xu , Southeast University, China
Changhai Nie , Southeast University, China
pp. 15-24

Improving Model-Checkers for Software Testing (Abstract)

Gordon Fraser , Graz University of Technology
Franz Wotawa , Graz University of Technology
pp. 25-31

Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile (Abstract)

Kai Xu , University of Minnesota, Minneapolis, MN 55455, USA
Donglin Liang , University of Minnesota, Minneapolis, MN 55455, USA
pp. 32-39
Session 1B: Distributed Systems

A QoS-Enabled WorkManager Model for Web Application Servers (Abstract)

Wenbo Zhang , Chinese Academy of Science, Beijing 100080, P.R. C
Jun Wei , Chinese Academy of Science, Beijing 100080, P.R. C
Tao Huang , Chinese Academy of Science, Beijing 100080, P.R. C
Wei Wang , Chinese Academy of Science, Beijing 100080, P.R. C
pp. 40-49

Towards Automatic Measurement of Probabilistic Processes (Abstract)

Lin Song , Shanghai Jiao Tong University, China
Xiaojuan Cai , Shanghai Jiao Tong University, China
Yuxin Deng , Shanghai Jiao Tong University, China
pp. 50-59

A Pattern-Based Constraint Description Approach for Web Services (Abstract)

Yonggang Liu , Peking University
Na Meng , Peking University
Min Li , Peking University
Hong Mei , Peking University
Qianxiang Wang , Peking University
pp. 60-69
Session 2A: Software Security and Model Checking

Model Checking Security Pattern Compositions (Abstract)

Tu Peng , University of Texas at Dallas
Yajing Zhao , University of Texas at Dallas
Jing Dong , University of Texas at Dallas
pp. 80-89

Real-Time Component Composition Using Hierarchical Timed Automata (Abstract)

Xianli Jin , Beijing University of Posts and Telecommunications, Beijing 100876, China
Huadong Ma , Beijing University of Posts and Telecommunications, Beijing 100876, China
Zonghua Gu , Hong Kong University of Science and Technology, Hong Kong, China
pp. 90-99

A Model-Driven Approach for Dependable Software Systems (Abstract)

Michael Jiang , Motorola Labs, Motorola, Schaumburg, IL 60196, USA
Zhihui Yang , Mobile Device, Motorola, Libertyville, IL 60092, USA
pp. 100-106
Session 3A: Software Testing 3

Nondeterministic Testing with Linear Model-Checker Counterexamples (Abstract)

Franz Wotawa , Graz University of Technology
Gordon Fraser , Graz University of Technology
pp. 107-116

Detecting Double Faults on Term and Literal in Boolean Expressions (Abstract)

Y. Liu , Swinburne University of Technology
Y. T. Yu , City University of Hong Kong
M. F. Lau , Swinburne University of Technology
pp. 117-126

Alternative B-Sequences (Abstract)

Lihua Duan , Univ. of Windsor, Canada
Jessica Chen , Univ. of Windsor, Canada
pp. 127-136
Session 3B: Embedded Systems

A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software (Abstract)

Masahiko Watanabe , Kyushu University
Akira Fukuda , Kyushu University
Ichiro Hosotani , Toyota Motor Corporation
Shigeyuki Kido , Toyota Motor Corporation
Hirokazu Yatsu , CATS Corporation
Michihiro Matsumoto , CATS Corporation
pp. 137-142

OPTIMA: An Ontology-Based PlaTform-specIfic software Migration Approach (Abstract)

Feng Chen , De Montfort University, Leicester, UK
Jian Kang , De Montfort University, Leicester, UK
Hongji Yang , De Montfort University, Leicester, UK
Hong Zhou , De Montfort University, Leicester, UK
pp. 143-152

A Certified Infinite Norm for the Implementation of Elementary Functions (Abstract)

Christoph Lauter , LIP (CNRS/ENS Lyon/INRIA/Univ. Lyon 1), France
Sylvain Chevillard , LIP (CNRS/ENS Lyon/INRIA/Univ. Lyon 1), France
pp. 153-160
Session 4A: Component-Based Systems

An Approach to Integration Testing of Object-Oriented Programs (Abstract)

Zhe Li , McMaster Univ., Hamilton
T. Maibaum , McMaster Univ., Hamilton
pp. 268-273
Session 4B: Software Quality

Metrics and Evolution in Open Source Software (Abstract)

Young Lee , Texas A&M University-Kingsville, Kingsville, TX
Jeong Yang , Auburn University
Kai H. Chang , Auburn University,
pp. 191-197

Failure Analysis of Open Source J2EE Application Servers (Abstract)

Jian Zou , Peking University
Hong Mei , Peking University
Gang Huang , Peking University
Junguo Li , Peking University
pp. 198-208

Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier (Abstract)

Olga Ormandjieva , Concordia University, Montreal, Canada
Leila Kosseim , Concordia University, Montreal, Canada
Ishrar Hussain , Concordia University, Montreal, Canada
pp. 209-218
Session 1C: Short Papers Software Quality and Reliability

Quality Assurance in Web Information Systems Development (Abstract)

Jane Zhao , Massey University
Bernhard Thalheim , Christian-Albrechts University Kiel
Klaus-Dieter Schewe , Massey University
pp. 219-224

AOP Based Trustable SLA Compliance Monitoring for Web Services (Abstract)

Congwu Chen , Chinese Academy of Sciences
Jun Wei , Chinese Academy of Sciences
Lei Li , University of Science & Technology of China
pp. 225-230

A Multivariate Analysis of Static Code Attributes for Defect Prediction (Abstract)

Ayse Bener , Bogazici University
Burak Turhan , Bogazici University
pp. 231-237

Refinement of a Tool to Assess the Data Quality in Web Portals (Abstract)

Juan Enriquez de Salamanca , University of Castilla-La Mancha, Spain
Coral Calero , University of Castilla-La Mancha, Spain
Mario Piattini , University of Castilla-La Mancha, Spain
Ang?lica Caro , University of Bio Bio, Chill?n, Chile
pp. 238-243

Formal Embedded Operating System Model Based on Resource-Based Design Framework (Abstract)

Jin-Young Choi , Korea University
Jae-Hwan Sim , Korea University
Chang-Jin Kim , Korea University
Jin-Hyun Kim , Korea University
pp. 244-249

Systematic Development of Quality Aware Decentralised Service-Oriented Systems (Abstract)

Lipo Chan , University of Melbourne, Australia
Shanika Karunasekera , University of Melbourne, Australia
pp. 250-255
Session 2B: Short Papers Software Testing 2

An Automated Approach to System Testing Based on Scenarios and Operations Contracts (Abstract)

Aamer Nadeem , Mohammad Ali Jinnah University, Islamabad, Pakistan
Najla Raza , Mohammad Ali Jinnah University, Islamabad, Pakistan
Muhammad Zohaib Z. Iqbal , International Islamic University Islamabad, Pakistan
pp. 256-261

Architectural Test Coverage for Component-Based Integration Testing (Abstract)

Sita Ramakrishnan , Monash University, Australia
Nor Laily Hashim , Monash University, Australia
Heinz W. Schmidt , RMIT University, Australia
pp. 262-267

An Approach to Integration Testing of Object-Oriented Programs (Abstract)

Tom Maibaum , McMaster University
Zhe (Jessie) Li , McMaster University
pp. 268-273

Distribution Metric Driven Adaptive Random Testing (Abstract)

Tsong Yueh Chen , Swinburne University of Technology, Australia
Huai Liu , Swinburne University of Technology, Australia
Fei-Ching Kuo , Swinburne University of Technology, Australia
pp. 274-279

Uniform Selection of Feasible Paths as a Stochastic Constraint Problem (Abstract)

Matthieu Petit , IRISA / INRIA Campus Beaulieu 35042 Rennes cedex, FRANCE
Arnaud Gotlieb , IRISA / INRIA Campus Beaulieu 35042 Rennes cedex, FRANCE
pp. 280-285

Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid (Abstract)

Yan Sun , Univ. of Missouri-Rolla, Rolla
B. McMillin , Univ. of Missouri-Rolla, Rolla
Xiaoqing Liu , Univ. of Missouri-Rolla, Rolla
D. Cape , Univ. of Missouri-Rolla, Rolla
pp. 363-369
Session 2B: Short Papers Software Testing 2

An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis (Abstract)

Changhai Nie , Southeast University, China
Lulu Wang , Southeast University, China
Baowen Xu , Southeast University, China
Guowei Dong , Southeast University, China
pp. 292-297
Session 2C: Short Papers Software Architecture and Components

Towards a Software Component Certification Framework (Abstract)

Eduardo Santana de Almeida , Federal University of Pernambuco and C.E.S.A.R, Brazil
Alexandre Alvaro , Federal University of Pernambuco and C.E.S.A.R, Brazil
Silvio Lemos Meira , Federal University of Pernambuco and C.E.S.A.R, Brazil
pp. 298-303

Reduction of Complexity and Automation of Parallel Execution through Loop Level Parallelism (Abstract)

Roger Y. Lee , Central Michigan University
Robert A. Tefft , Central Michigan University
pp. 304-308

An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component Retrieval (Abstract)

Xin Peng , Fudan University, Shanghai, China
Wenyun Zhao , Fudan University, Shanghai, China
pp. 309-315

Trustworthiness Evaluation and Testing of Open Source Components (Abstract)

Marko Palviainen , VTT Technical Research Centre of Finland
Anne Immonen , VTT Technical Research Centre of Finland
pp. 316-321

Testability and Test Framework for Collaborative Real-Time Editing Tools (Abstract)

Lian Yu , Peking University, Beijing, 102600, PRC
Guanzhu Wang , Peking University, Beijing, 102600, PRC
Hui Su , China Research Center, IBM, Beijing, 100094, PRC
Changyan Chi , China Research Center, IBM, Beijing, 100094, PRC
Lifeng Xu , Peking University, Beijing, 102600, PRC
Wenping Xiao , China Research Center, IBM, Beijing, 100094, PRC
pp. 322-327
Session 5: Short Papers Systems Modeling, Model Construction and Checking

On the Collaborative Development of Para-Consistent Conceptual Models (Abstract)

Ebrahim Bagheri , University of New Brunswick
Ali A. Ghorbani , University of New Brunswick
pp. 336-341

Increasing Software Effort Estimation Accuracy Using Experience Data, Estimation Models and Checklists (Abstract)

Kjetil Molkken-stvold , Simula Research Laboratory, P.O.Box 134, 1325 Lysaker, Norway
Kristian Marius Furulund , Department of Informatics, P.O.Box 1080 Blindern, 0316 Oslo, Norway
pp. 342-347

A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL (Abstract)

Mourad Debbabi , Concordia University, Quebec, Canada.
Hamdi Yahyaoui , University Of Sharjah, Sharjah, UAE.
Nadia Tawbi , Laval University, Quebec, Canada.
pp. 348-355

Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach (Abstract)

Farid Mokhati , University of Oum-El-Bouaghi
Mourad Badri , University of Qu?bec at Trois-Riv
Patrice Gagnon , University of Qu?bec at Trois-Riv
pp. 356-362

Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid (Abstract)

Bruce McMillin , University of Missouri-Rolla
Yan Sun , University of Missouri-Rolla
David Cape , University of Missouri-Rolla
Xiaoqing (Frank) Liu , University of Missouri-Rolla
pp. 363-369
First International Workshop on Software Test Evaluation (STEV 2007)

Message of the Program Chairs of STEV?07 (Abstract)

Johannes Mayer , Ulm University
Sami Beydeda , ZIVIT Germany
pp. 370-371
Workshop Papers

Learning Effective Oracle Comparator Combinations for Web Applications (Abstract)

Lori Pollock , University of Delaware
Emily Hill , University of Delaware
Sara Sprenkle , Washington & Lee University
pp. 372-379

Testing against Natural Language Requirements (Abstract)

Harry M. Sneed , Anecon GmbH, Vienna, Austria
pp. 380-387

Test-Based Specifications of Components and Systems (Abstract)

Dick Hamlet , Portland State University
pp. 388-395

A Scriptable, Statistical Oracle for a Metadata Extraction System (Abstract)

Ashraf Amrou , Old Dominion University
Mohammad Zubair , Old Dominion University
Kurt J. Maly , Old Dominion University
Steven J. Zeil , Old Dominion University
Ali Aazhar , Old Dominion University
Naveen Ratkal , Old Dominion University
pp. 396-403

Abstraction in Assertion-Based Test Oracles (Abstract)

Yoonsik Cheon , University of Texas at El Paso
pp. 410-414
Workshop Position Paper

The Oracle Problem for Testing against Quantified Properties (Abstract)

Patricia D. L. Machado , Federal University of Campina Grande, Campina Grande, Brazil
Wilkerson L. Andrade , Federal University of Campina Grande, Campina Grande, Brazil
pp. 415-418
Author Index

Author Index (PDF)

pp. 419
125 ms
(Ver )