Message from the COMPSAC 2005 Fast Abstract Co-Chairs

Message from the QATWBA’05 Program Co-Chairs (PDF)

pp. xiii

Message from the IWSC’05 Workshop Organizers (PDF)

pp. xv

Message from the MAD’05 Workshop Chairs (PDF)

pp. xvii

Message from the TQACBS 2005 Program Co-Chairs (PDF)

pp. xix

COMPSAC 2005 Fast Abstracts (PDF)

pp. x

2nd International Workshop on Quality Assurance and Testing of Web-Based Applications (QATWBA?05) (PDF)

pp. xii

2nd International Workshop on Software Cybernetics (IWSC?05) (PDF)

pp. xiv

2nd International Workshop on Languages, Methods, and Tools for Model-Driven Agile Development (MAD?05) (PDF)

pp. xvi

1st International Workshop on Testing and Quality Assurance of Component-Based Software (TQACBS 2005) (PDF)

pp. xviii

Fast Abstract 1: Software Specification, Design, Analysis, and Testing

A Different View of Fault Prediction (PDF)

Thomas J. Ostrand, AT&T Labs - Research

Elaine J. Weyuker, AT&T Labs - Research

Robert M. Bell, AT&T Labs - Research

Rachel C. W. Ostrand, Metuchen High School

pp. 3-4

A Specification Construction Unit-Based Editor for Z (PDF)

Hiroshi Ishikawa, Fukuyama University

pp. 5-6

Contract-Based Formal Specification of Safety Critical Systems (PDF)

Wei Dong, National Laboratory for Parallel and Distributed Processing

Ji Wang, National Laboratory for Parallel and Distributed Processing

pp. 7-8

Towards Verification via Supercompilation (PDF)

Alexei Lisitsa, University of Liverpool

Andrei Nemytykh, Program Systems Institute

pp. 9-10

What Is SINS? (PDF)

Ramesh Bharadwaj, Naval Research Laboratory

pp. 11-12

Configuration Strategies for Evolutionary Testing (PDF)

Xiaoyuan Xie, Southeast University and Jiangsu Institute of Software Quality

Baowen Xu, Southeast University, Jiangsu Institute of Software Quality, National University of Defense Technology and Wuhan University

Changhai Nie, Southeast University and Jiangsu Institute of Software Quality

Liang Shi, Southeast University and Jiangsu Institute of Software Quality

Lei Xu, Southeast University and Jiangsu Institute of Software Quality

pp. 13-14

PerAd-Service: A Middleware Service for Pervasive Advertisement in M-Business (PDF)

Fast Abstract 2: Computing Platform, Service, and Application

Shameem Ahmed, Marquette University

Moushumi Sharmin, Marquette University

Sheikh I. Ahamed, Marquette University

pp. 17-18

Ubiquitous Computing for Hospital Applications: RFID-Applications to Enable Research in Real-Life Environments (PDF)

Andreas Holzinger, Medical University Graz

Klaus Schwaberger, SOLVION Information Management

Matthias Weitlaner, Infineon Technologies

pp. 19-20

Product Families On-Chip — Combining the Software Product Family Paradigm with Run-Time Reprogrammable Hardware Technology (PDF)

Michel Jaring, VTT Electronics

pp. 21-22

A HAL for Component-Based Embedded Operating Systems (PDF)

Qiming Teng, Peking University

Hua Wang, Peking University

Xiangqun Chen, Peking University

pp. 23-24

Preventing Illegal Usage of Mobile Phone Software (PDF)

Yun-Sam Kim, Chungbuk National University

Eun-Sun Cho, Chungbuk National University

pp. 25-26

Toward Stable Software Architecture for Wireless Sensor Networks (PDF)

Nader Mohamed, Stevens Institute of Technology

Haitham S. Hamza, University of Nebraska-Lincoln

pp. 27-28

Fast Abstract 3: Data Mining and Knowledge Management

Recovering "Lack of Words" in Text Categorization for Item Banks (PDF)

Atorn Nuntiyagul, Mahidol University

Nick Cercone, Dalhousie University

Kanlaya Naruedomkul, Mahidol University

pp. 31-32

Searching Design Patterns in Source Code (PDF)

Detlef Streitferdt, Ilmenau Technical University

Christian Heller, Ilmenau Technical University

Ilka Philippow, Ilmenau Technical University

pp. 33-34

A Probabilistic Evaluation Function for Relaxed Unification (PDF)

Tony Abou-Assaleh, Dalhousie University

Nick Cercone, Dalhousie University

Vlado Kešelj, Dalhousie University

pp. 35-36

Association Rule-Based Data Mining Agents for Personalized Web Caching (PDF)

Sujaa Rani Mohan, University of Missouri - Kansas City

E. K. Park, University of Missouri - Kansas City

Yijie Han, University of Missouri - Kansas City

pp. 37-38

Data Mining Application in Customer Relationship Management of Credit Card Business (PDF)

Ruey-Shun Chen, National Chiao Tung University

Ruey-Chyi Wu, National Chiao Tung University

J. Y. Chen, National Chiao Tung University

pp. 39-40

Chaur-Chin Chen, National Tsing Hua University

Hsueh-Ting Chu, National Tsing Hua University

pp. 41-42

Workshop on Quality Assurance and Testing of Web-Based Applications (I)

An Agent-Based Testing Approach for Web Applications (Abstract)

Yu Qi, University of Texas at Dallas

David Kung, University of Texas at Arlington

Eric Wong, University of Texas at Dallas

pp. 45-50

PDF

Autonomous Hot Patching for Web-Based Applications (Abstract)

Hai Huang, Arizona State University

Wei-Tek Tsai, Arizona State University

Yinong Chen, Arizona State University

pp. 51-56

PDF

A Testing Approach for XML Schemas (Abstract)

Maria Claudia F. P. Emer, State University of Campinas

Silvia Regina Vergilio, Federal University of Paran?

Mario Jino, State University of Campinas

pp. 57-62

PDF

Keynote Speech: Testing Web Applications: The State of Art and the Future Trends (PDF)

Workshop on Quality Assurance and Testing of Web-Based Applications (II)

Giuseppe A. Di Lucca, University of Sannio

pp. 65

Increasing Web Service Dependability Through Consensus Voting (Abstract)

Nik Looker, University of Durham

Malcolm Munro, University of Durham

Jie Xu, University of Leeds

pp. 66-69

PDF

Measuring the Functionality of Online Stores (Abstract)

Ernest Cachia, University of Malta

Mark Micallef, University of Malta

pp. 70-73

PDF

Workshop on Software Cybernetics (I) Control Systems for Software Cybernetics

Keynote Speech: The Information Age: Challenges and Opportunities for Control and Engineering (Abstract)

J. D. Birdwell, University of Tennessee

J. N. Chiasson, University of Tennessee

C. T. Abdallah, University of New Mexico

M. M. Hayat, University of New Mexico

Z. Tang, University of Tennessee

J. White, University of Tennessee

pp. 77-82

PDF

State Space Approach to Security Quantification (Abstract)

Christopher Griffin, Pennsylvania State University

Bharat Madan, Pennsylvania State University

Kishor Trivedi, Duke University

pp. 83-88

PDF

Requirement Process Establishment and Improvement: From the Viewpoint of Cybernetics (Abstract)

Hong Xu, BeiHang University

Pete Sawyer, Lancaster University

Ian Sommerville, Lancaster University

pp. 89-92

PDF

FMECA Control for Software Development (Abstract)

James H. Graham, University of Louisville

pp. 93-96

PDF

Supervisory Control of Time Petri Nets Using Net Unfolding (Abstract)

Ugo Buy, University of Illinois at Chicago

Houshang Darabi, University of Illinois at Chicago

Mihai Lehene, University of Illinois at Chicago

Vikram Venepally, University of Illinois at Chicago

pp. 97-100

PDF

Workshop on Software Cybernetics (II) Software Testing Process Control

A Software Cybernetic Approach to Control of the Software System Test Phase (Abstract)

Scott D. Miller, Purdue University

Raymond A. DeCarlo, Purdue University

Aditya P. Mathur, Purdue University

pp. 103-108

PDF

Self-Testability in Unit Testing (Abstract)

Sami Beydeda, Bundesamt für Finanzen

pp. 109-112

PDF

Partition Testing with Dynamic Partitioning (Abstract)

Kai-Yuan Cai, Beijing University of Aeronautics and Astronautics

Tao Jing, Beijing University of Aeronautics and Astronautics

Cheng-Gang Bai, Beijing University of Aeronautics and Astronautics

pp. 113-116

PDF

Novelty Detection for a Neural Network-Based Online Adaptive System (Abstract)

Yan Liu, West Virginia University

Bojan Cukic, West Virginia University

Edgar Fuller, West Virginia University

Srikanth Gururajan, West Virginia University

Sampath Yerramalla, West Virginia University

pp. 117-122

PDF

A Control Approach for Agile Processes (Abstract)

João W. Cangussu, University of Texas at Dallas

Richard M. Karcich, Pillar Data Systems

pp. 123-126

PDF

On the Potential of Process Simulation in Software Project Schedule Optimization (Abstract)

Frank Padberg, Universität Karlsruhe

pp. 127-130

PDF

Workshop on Software Cybernetics (III) Control Approaches for Software Development and Behavior

Considerations on a New Software Architecture for Distributed Environments Using Autonomous Semantic Agents (Abstract)

Atilla Elci, Eastern Mediterranean University

Behnam Rahnama, Eastern Mediterranean University

pp. 133-138

PDF

Constraint Violation Detection: A Fundamental Part of Software Cybernetics (Abstract)

Qianxiang Wang, Peking University

pp. 139-142

PDF

Handling High-Bandwidth Traffic Aggregates by Receiver-Driven Feedback Control (Abstract)

Chee-wei Tan, Princeton University

Dah-ming Chiu, Chinese University of Hong Kong

John C. S. Lui, Chinese University of Hong Kong

David K. Y. Yau, Purdue University

pp. 143-145

PDF

Synchronized Architectures for Adaptive Systems (Abstract)

Tiberiu Seceleanu, University of Turku

David Garlan, Carnegie Mellon University

pp. 146-151

PDF

Component Security — Issues and an Approach (Abstract)

Nimal Nissanke, London South Bank University

pp. 152-155

PDF

Keynote Speech: Model-Driven Agile Development (MAD) for Situation-Aware Software in Ubiquitous Computing Environments (PDF)

Workshop on Model-Driven Agile Development (I) Extreme Programming for Reengineering

Stephen S. Yau, Arizona State University

pp. 159

Extreme Programming for Distributed Legacy System Reengineering (Abstract)

Bin Xu, Zhejiang Gongshang University

pp. 160-165

PDF

From Extreme Programming and Usability Engineering to Extreme Usability in Software Engineering Education (XP+UE→XU) (Abstract)

Workshop on Model-Driven Agile Development (II) Component-Based Agile Development

Andreas Holzinger, Medical University Graz

Maximilian Errath, Medical University Graz

Gig Searle, Medical University Graz

Bettina Thurnher, Vienna University of Technology

Wolfgang Slany, Graz University of Technology

pp. 169-172

PDF

Experiences with a Dialog-Driven Process Model for Web Application Development (Abstract)

Matthias Book, University of Leipzig

Volker Gruhn, University of Leipzig

pp. 173-178

PDF

Workshop on Testing and Quality Assurance of Component-Based Systems (I) Component-Based Software Testing and Regression Testing

Fault Injection Approach Based on Dependence Analysis (Abstract)

Regina L. O. Moraes, State University of Campinas

Eliane Martins, State University of Campinas

Naaliel Vicente Mendes, State University of Campinas

pp. 181-188

PDF

Reasoning About Software Architecture-Based Regression Testing Through a Case Study (Abstract)

Henry Muccini, University of L?Aquila

Marcio Dias, University of Durham

Debra J. Richardson, University of California at Irvine

pp. 189-195

PDF

Automated Harvesting of Test Oracles for Reliability Testing (Abstract)

Oliver Hummel, University of Mannheim

Colin Atkinson, University of Mannheim

pp. 196-202

PDF

Workshop on Testing and Quality Assurance of Component-Based Systems (II) Component Validation, Quality Measurement, and Test Automation

Towards Self-Testing of Component-Based Software (Abstract)

Fevzi Belli, University of Paderborn

Christof J. Budnik, University of Paderborn

pp. 205-210

PDF

A Component Testability Model for Verification and Measurement (Abstract)

Jerry Gao, San Jose State University

Ming-Chih Shih, San Jose State University

pp. 211-218

PDF

A Framework for Efficient Contract-Based Testing of Software Components (Abstract)

Egon Valentini, IICM

Gerhard Fliess, Campus02

Edmund Haselwanter, IICM

pp. 219-222

PDF

Author Index

Author Index (PDF)

pp. 223-224