The Community for Technology Leaders
2013 IEEE 37th Annual Computer Software and Applications Conference (2005)
Edinburgh, Scotland
July 26, 2005 to July 28, 2005
ISSN: 0730-3157
ISBN: 0-7695-2413-3
TABLE OF CONTENTS
Introduction
Fast Abstract 1: Software Specification, Design, Analysis, and Testing

A Different View of Fault Prediction (PDF)

Robert M. Bell , AT&T Labs - Research
Rachel C. W. Ostrand , Metuchen High School
Thomas J. Ostrand , AT&T Labs - Research
Elaine J. Weyuker , AT&T Labs - Research
pp. 3-4

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

Ji Wang , National Laboratory for Parallel and Distributed Processing
Wei Dong , National Laboratory for Parallel and Distributed Processing
pp. 7-8

Towards Verification via Supercompilation (PDF)

Andrei Nemytykh , Program Systems Institute
Alexei Lisitsa , University of Liverpool
pp. 9-10

What Is SINS? (PDF)

Ramesh Bharadwaj , Naval Research Laboratory
pp. 11-12

Configuration Strategies for Evolutionary Testing (PDF)

Baowen Xu , Southeast University, Jiangsu Institute of Software Quality, National University of Defense Technology and Wuhan University
Liang Shi , Southeast University and Jiangsu Institute of Software Quality
Changhai Nie , Southeast University and Jiangsu Institute of Software Quality
Lei Xu , Southeast University and Jiangsu Institute of Software Quality
Xiaoyuan Xie , Southeast University and Jiangsu Institute of Software Quality
pp. 13-14
Fast Abstract 2: Computing Platform, Service, and Application

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

Moushumi Sharmin , Marquette University
Sheikh I. Ahamed , Marquette University
Shameem Ahmed , Marquette University
pp. 17-18

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

Hua Wang , Peking University
Xiangqun Chen , Peking University
Qiming Teng , 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)

Ilka Philippow , Ilmenau Technical University
Detlef Streitferdt , Ilmenau Technical University
Christian Heller , Ilmenau Technical University
pp. 33-34

A Probabilistic Evaluation Function for Relaxed Unification (PDF)

Vlado Kešelj , Dalhousie University
Nick Cercone , Dalhousie University
Tony Abou-Assaleh , Dalhousie University
pp. 35-36

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

E. K. Park , University of Missouri - Kansas City
Yijie Han , University of Missouri - Kansas City
Sujaa Rani Mohan , University of Missouri - Kansas City
pp. 37-38

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

J. Y. Chen , National Chiao Tung University
Ruey-Chyi Wu , National Chiao Tung University
Ruey-Shun Chen , National Chiao Tung University
pp. 39-40

Similarity Measurement Between Images (PDF)

Hsueh-Ting Chu , National Tsing Hua University
Chaur-Chin Chen , 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)

David Kung , University of Texas at Arlington
Yu Qi , University of Texas at Dallas
Eric Wong , University of Texas at Dallas
pp. 45-50

Autonomous Hot Patching for Web-Based Applications (Abstract)

Wei-Tek Tsai , Arizona State University
Hai Huang , Arizona State University
Yinong Chen , Arizona State University
pp. 51-56

A Testing Approach for XML Schemas (Abstract)

Silvia Regina Vergilio , Federal University of Paran?
Maria Claudia F. P. Emer , State University of Campinas
Mario Jino , State University of Campinas
pp. 57-62
Workshop on Quality Assurance and Testing of Web-Based Applications (II)

Increasing Web Service Dependability Through Consensus Voting (Abstract)

Nik Looker , University of Durham
Jie Xu , University of Leeds
Malcolm Munro , University of Durham
pp. 66-69

Measuring the Functionality of Online Stores (Abstract)

Mark Micallef , University of Malta
Ernest Cachia , University of Malta
pp. 70-73
Workshop on Software Cybernetics (I) Control Systems for Software Cybernetics

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

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. D. Birdwell , University of Tennessee
J. White , University of Tennessee
pp. 77-82

State Space Approach to Security Quantification (Abstract)

Christopher Griffin , Pennsylvania State University
Bharat Madan , Pennsylvania State University
Kishor Trivedi , Duke University
pp. 83-88

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

FMECA Control for Software Development (Abstract)

James H. Graham , University of Louisville
pp. 93-96

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

Houshang Darabi , University of Illinois at Chicago
Vikram Venepally , University of Illinois at Chicago
Ugo Buy , University of Illinois at Chicago
Mihai Lehene , University of Illinois at Chicago
pp. 97-100
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

Self-Testability in Unit Testing (Abstract)

Sami Beydeda , Bundesamt für Finanzen
pp. 109-112

Partition Testing with Dynamic Partitioning (Abstract)

Tao Jing , Beijing University of Aeronautics and Astronautics
Cheng-Gang Bai , Beijing University of Aeronautics and Astronautics
Kai-Yuan Cai , Beijing University of Aeronautics and Astronautics
pp. 113-116

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

Sampath Yerramalla , West Virginia University
Edgar Fuller , West Virginia University
Yan Liu , West Virginia University
Srikanth Gururajan , West Virginia University
Bojan Cukic , West Virginia University
pp. 117-122

A Control Approach for Agile Processes (Abstract)

Richard M. Karcich , Pillar Data Systems
João W. Cangussu , University of Texas at Dallas
pp. 123-126
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

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

Chee-wei Tan , Princeton University
David K. Y. Yau , Purdue University
John C. S. Lui , Chinese University of Hong Kong
Dah-ming Chiu , Chinese University of Hong Kong
pp. 143-145

Synchronized Architectures for Adaptive Systems (Abstract)

David Garlan , Carnegie Mellon University
Tiberiu Seceleanu , University of Turku
pp. 146-151

Component Security — Issues and an Approach (Abstract)

Nimal Nissanke , London South Bank University
pp. 152-155
Workshop on Model-Driven Agile Development (I) Extreme Programming for Reengineering

Extreme Programming for Distributed Legacy System Reengineering (Abstract)

Bin Xu , Zhejiang Gongshang University
pp. 160-165
Workshop on Model-Driven Agile Development (II) Component-Based Agile Development

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

Bettina Thurnher , Vienna University of Technology
Wolfgang Slany , Graz University of Technology
Maximilian Errath , Medical University Graz
Gig Searle , Medical University Graz
Andreas Holzinger , Medical University Graz
pp. 169-172

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
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)

Eliane Martins , State University of Campinas
Regina L. O. Moraes , State University of Campinas
Naaliel Vicente Mendes , State University of Campinas
pp. 181-188

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

Debra J. Richardson , University of California at Irvine
Marcio Dias , University of Durham
Henry Muccini , University of L?Aquila
pp. 189-195

Automated Harvesting of Test Oracles for Reliability Testing (Abstract)

Oliver Hummel , University of Mannheim
Colin Atkinson , University of Mannheim
pp. 196-202
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)

Christof J. Budnik , University of Paderborn
Fevzi Belli , University of Paderborn
pp. 205-210

A Component Testability Model for Verification and Measurement (Abstract)

Ming-Chih Shih , San Jose State University
Jerry Gao , San Jose State University
pp. 211-218
Author Index

Author Index (PDF)

pp. 223-224
105 ms
(Ver )