CSDL - Proceedings Q

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-ix

Message from the General Chair (PDF)

pp. x

Message from the Program Chair (PDF)

pp. xi

Conference Organization (PDF)

pp. xii-xiv

Organizing Committee (PDF)

pp. xv

Reviewers (PDF)

pp. xvi

Sponsors (PDF)

pp. xvii

Keynote 1 (PDF)

pp. xviii

Keynote 2 (PDF)

pp. xix

A Hybrid Approach to Detecting Security Defects in Programs (Abstract)

Lian Yu

Yue Yi

pp. 1-10

PDF

Security Metrics for Object-Oriented Class Designs (Abstract)

pp. 11-20

PDF

Tag-Based Techniques for Black-Box Test Case Prioritization for Service Testing (Abstract)

pp. 21-30

PDF

Towards Selecting Test Data Using Topological Structure of Boolean Expressions (Abstract)

Lian Yu

Jun Zhu

pp. 31-40

PDF

On the Coverage of Program Code by Specification-Based Tests (Abstract)

pp. 41-50

PDF

An Indepth Study of Mirror Adaptive Random Testing (Abstract)

Fei-Ching Kuo

pp. 51-58

PDF

An Innovative Approach to Randomising Quasi-random Sequences and Its Application into Software Testing (Abstract)

Huai Liu

Tsong Yueh Chen

pp. 59-64

PDF

Interactive Specification and Verification of Behavioural Adaptation Contracts (Abstract)

pp. 65-75

PDF

A Verification-Centric Software Development Process for Java (Abstract)

Daniel M. Zimmerman

Joseph R. Kiniry

pp. 76-85

PDF

Modelling and Verification of Port Based Component Composition (Abstract)

Zuohua Ding

Mingyue Jiang

pp. 86-91

PDF

Timed Modeling and Verification of BPEL Processes Using Time Petri Nets (Abstract)

pp. 92-97

PDF

Web Traversal with a History Stack (Abstract)

pp. 98-107

PDF

Automatic Generation of Normal Forms for Testing Object-Oriented Software (Abstract)

Huo Yan Chen

T. H. Tse

pp. 108-116

PDF

SQuaRE-Aligned Data Quality Model for Web Portals (Abstract)

pp. 117-122

PDF

ADAM: Web Anomaly Detection Assistant Based on Feature Matrix (Abstract)

pp. 123-128

PDF

Synchronization of Multi-window Requests for Server-Side Regression Test of Web Applications (Abstract)

pp. 129-134

PDF

Application of Metamorphic Testing to Supervised Classifiers (Abstract)

pp. 135-144

PDF

Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models (Abstract)

pp. 145-154

PDF

Towards Adaptive Test Code Generation for Service Oriented Systems (Abstract)

pp. 155-160

PDF

GARDIAN: A Tool for Validating Rule-Based Modeling Methods (Abstract)

pp. 161-166

PDF

A Survey of Model-Driven Testing Techniques (Abstract)

Mohamed Mussa

Samir Ouchani

Waseem Al Sammane

Abdelwahab Hamou-Lhadj

pp. 167-172

PDF

From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation (Abstract)

pp. 173-178

PDF

Practice Patterns to Improve the Quality of Design Model in Embedded Software Development (Abstract)

pp. 179-184

PDF

A Model-Based Testing for AADL Model of Embedded Software (Abstract)

pp. 185-190

PDF

Building Automotive Software Component within the AutoSAR Environment - A Case Study (Abstract)

pp. 191-200

PDF

An Adapter Framework for Keyword-Driven Testing (Abstract)

pp. 201-210

PDF

Increasing Diversity in Coverage Test Suites Using Model Checking (Abstract)

Gordon Fraser

Franz Wotawa

pp. 211-218

PDF

Improving Coverage Based Test Purposes (Abstract)

Martin Weiglhofer

Franz Wotawa

pp. 219-228

PDF

Are Fault Failure Rates Good Estimators of Adequate Test Set Size? (Abstract)

Vidroha Debroy

W. Eric Wong

pp. 229-238

PDF

Model-Driven Software Measurement Framework: A Case Study (Abstract)

pp. 239-248

PDF

Improving Software Testing Cost-Effectiveness through Dynamic Partitioning (Abstract)

pp. 249-258

PDF

Quality Assessment of Mission Critical Middleware System Using MEMS (Abstract)

Yan Liu

pp. 259-268

PDF

Towards Optimising Non-functional Requirements (Abstract)

pp. 269-277

PDF

Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia (Abstract)

pp. 278-283

PDF

Improvement of Quality of Software Requirements with Requirements Ontology (Abstract)

Dang Viet Dzung

Atsushi Ohnishi

pp. 284-289

PDF

Evaluating the Ability of Novice Analysts to Understand Requirements Models (Abstract)

pp. 290-295

PDF

A Robot Fault-Tolerance Approach Based on Fault Type (Abstract)

pp. 296-304

PDF

A Bayesian Approach for the Detection of Code and Design Smells (Abstract)

pp. 305-314

PDF

A Neural Network Approach to Forecasting Computing-Resource Exhaustion with Workload (Abstract)

pp. 315-324

PDF

Reuse Strategies in Distributed Complex Event Detection (Abstract)

pp. 325-330

PDF

Generating Effective Test Sequences for BPEL Testing (Abstract)

pp. 331-340

PDF

Resource-Aware Test Suite Optimization (Abstract)

Xiaofang Zhang

Huamao Shan

Ju Qian

pp. 341-346

PDF

Building Prioritized Pairwise Interaction Test Suites with Ant Colony Optimization (Abstract)

Qing Gu

pp. 347-352

PDF

Towards Scalable Compositional Test Generation (Abstract)

Tao Sun

Zheng Wang

Geguang Pu

Xiao Yu

Zongyan Qiu

Bin Gu

pp. 353-358

PDF

Change Impact Analysis of a Software Process Using Process Slicing (Abstract)

pp. 359-366

PDF

Localizing Software Faults Simultaneously (Abstract)

Rui Abreu

Peter Zoeteweij

Arjan J. C. van Gemund

pp. 367-376

PDF

RiTMO: A Method for Runtime Testability Measurement and Optimisation (Abstract)

Alberto Gonzalez-Sanchez

Eric Piel

Hans-Gerhard Gross

pp. 377-382

PDF

Gibeon Soares de Aquino Júnior

An Approach to Measure Value-Based Productivity in Software Projects (Abstract)

Silvio Romero de Lemos Meira

pp. 383-389

PDF

Software Quality Model for Consumer Electronics Product (Abstract)

Chanwook Kim

Keun Lee

pp. 390-395

PDF

A Constraint-Oriented Approach to Software Architecture Design (Abstract)

pp. 396-405

PDF

Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Abstract)

Min Zhang

Kazuhiro Ogata

pp. 406-411

PDF

Constructing Feature Models Using Goal-Oriented Analysis (Abstract)

pp. 412-417

PDF

An Intuitive Approach for Specifying Interface Constraint (Abstract)

Qianxiang Wang

pp. 418-425

PDF

An Embedded Software Component Maturity Model (Abstract)

pp. 426-431

PDF

A Test Process Improvement Model for Embedded Software Developments (Abstract)

Eun Jung

pp. 432-437

PDF

Performance Evaluation Framework for Software Quality Engineering (Abstract)

pp. 438-443

PDF

Non-homogeneous Inverse Gaussian Software Reliability Models (Abstract)

Lin-Zhu Jin

Tadashi Dohi

pp. 444-451

PDF

SmartClean: An Incremental Data Cleaning Tool (Abstract)

pp. 452-457

PDF

Developing Data Quality Aware Applications (Abstract)

pp. 458-464

PDF

Quality of the Source Code for Design and Architecture Recovery Techniques: Utilities are the Problem (Abstract)

Heidar Pirzadeh

Luay Alawneh

Abdelwahab Hamou-Lhadj

pp. 465-469

PDF

Author Index (PDF)

pp. 471-473

Publisher's Information (PDF)

pp. 474