CSDL - Proceedings I

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-ix

Welcome Message from the General Chair (PDF)

pp. x

Introduction by the Program Chairs (PDF)

pp. xi

Keynote Abstracts (PDF)

pp. xii-xiv

Committees (PDF)

pp. xv-xvii

Efficient Test Data Generation for Variables with Complex Dependencies (Abstract)

Armin Beer

Stefan Mohacsi

pp. 3-11

PDF

Relationships between Test Suites, Faults, and Fault Detection in GUI Testing (Abstract)

Jaymie Strecker

Atif Memon

pp. 12-21

PDF

Structural Testing of Executables (Abstract)

Sebastien Bardin

Philippe Herrmann

pp. 22-31

PDF

Generation of All-Paths Unit Test with Function Calls (Abstract)

pp. 32-41

PDF

A Crosstab-based Statistical Method for Effective Fault Localization (Abstract)

Yu Qi

pp. 42-51

PDF

Mutation Testing for Aspect-Oriented Programs (Abstract)

Fabiano Cutigi Ferrari

Jos? Carlos Maldonado

Awais Rashid

pp. 52-61

PDF

Evaluating Automated Unit Testing in Sulu (Abstract)

Roy Patrick Tan

Stephen Edwards

pp. 62-71

PDF

On the Predictability of Random Tests for Object-Oriented Software (Abstract)

pp. 72-81

PDF

Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation (Abstract)

pp. 82-91

PDF

Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty (Abstract)

Vahid Garousi

pp. 92-101

PDF

Scheduling Timed Modules for Correct Resource Sharing (Abstract)

pp. 102-111

PDF

Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications (Abstract)

pp. 112-120

PDF

State-Based Testing of Ajax Web Applications (Abstract)

pp. 121-130

PDF

A Three-Tiered Testing Strategy for Cookies (Abstract)

Andrew Tappenden

James Miller

pp. 131-140

PDF

Prioritizing User-Session-Based Test Cases for Web Applications Testing (Abstract)

pp. 141-150

PDF

Trace-based Reflexive Testing of OO Programs with T2 (Abstract)

pp. 151-160

PDF

Relation between Depth of Inheritance Tree and Number of Methods to Test (Abstract)

Lydie du Bousquet

Muhammad Rabee Shaheen

pp. 161-170

PDF

Testing Consequences of Grime Buildup in Object Oriented Design Patterns (Abstract)

Clemente Izurieta

James M. Bieman

pp. 171-179

PDF

Contract-Based Verification for Aspect-Oriented Refactoring (Abstract)

pp. 180-189

PDF

Testing Java Components based on Algebraic Specifications (Abstract)

Bo Yu

pp. 190-199

PDF

UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency (Abstract)

Bin Lei

Linzhang Wang

Xuandong Li

pp. 200-209

PDF

Testing Grid Application Workflows Using TTCN-3 (Abstract)

pp. 210-219

PDF

Mining Software Repositories to Study Co-Evolution of Production & Test Code (Abstract)

pp. 220-229

PDF

The Use of Intra-Release Product Measures in Predicting Release Readiness (Abstract)

pp. 230-237

PDF

Test-Driven Assessment of Access Control in Legacy Applications (Abstract)

pp. 238-247

PDF

An Evaluation of Two Bug Pattern Tools for Java (Abstract)

pp. 248-257

PDF

Tool Support for Expert-Centred Code Assessments (Abstract)

pp. 258-267

PDF

Empirical Software Change Impact Analysis using Singular Value Decomposition (Abstract)

Mark Sherriff

Laurie Williams

pp. 268-277

PDF

An Empirical Study on Bayesian Network-based Approach for Test Case Prioritization (Abstract)

Siavash Mirarab

Ladan Tahvildari

pp. 278-287

PDF

A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy (Abstract)

Jacqueline McQuillan

James Power

pp. 288-297

PDF

Automated Session Data Repair for Web Application Regression Testing (Abstract)

Mark Harman

Nadia Alshahwan

pp. 298-307

PDF

Extended Finite State Machine Based Test Derivation Driven by User Defined Faults (Abstract)

pp. 308-317

PDF

Simulation of Multi-Formalism Models with ModHel?X (Abstract)

Fr?d?ric Boulanger

C?cile Hardebolle

pp. 318-327

PDF

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (Abstract)

pp. 328-337

PDF

Model-Based Tests for Access Control Policies (Abstract)

pp. 338-347

PDF

Generating Test Requirements for the Service Connections based on the Layers of SOA (Abstract)

pp. 348-355

PDF

Detecting and Repairing Inconsistencies across Heterogeneous Models (Abstract)

pp. 356-364

PDF

Model Based Testing of System Requirements using UML Use Case Models (Abstract)

pp. 367-376

PDF

Test Instrumentation and Pattern Matching for Automatic Failure Identification (Abstract)

Dan Travison

Geoff Staneff

pp. 377-386

PDF

Comparing Aspects with Conventional Techniques for Increasing Testability (Abstract)

pp. 387-395

PDF

Test Data Provision for ERP Systems (Abstract)

pp. 396-403

PDF

Selective Homeworkless Reviews (Abstract)

Eitan Farchi

Shmuel Ur

pp. 404-413

PDF

Designing and Building a Software Test Organization (Abstract)

Bruce Benton

pp. 414-422

PDF

Challenges and Solutions in Test Staff Relocations within a Software Consultancy Company (Abstract)

pp. 423-431

PDF

The Role of Stability Testing in Heterogeneous Application Environment (Abstract)

Krzysztof Rogoz

Tomasz Padlo

pp. 432-439

PDF

Testing Predictive Software in Mobile Devices (Abstract)

Venkata Raghunath Vemuri

pp. 440-447

PDF

A Script-Based Testbed for Mobile Software Frameworks (Abstract)

pp. 448-457

PDF

Automation Method for Testing XML/DB/XML Layers (Abstract)

Debarshi Raha

Mohan Jadhav

pp. 458-464

PDF

An Industrial Case Study of Bypass Testing on Web Applications (Abstract)

pp. 465-474

PDF

Pre-testing Flash Device Driver through Model Checking Techniques (Abstract)

pp. 475-484

PDF

Model-Based Testing of Automotive Systems (Abstract)

Eckard Bringmann

Andreas Kr?mer

pp. 485-493

PDF

How to Test the Intangible Properties of Graphical User Interfaces? (Abstract)

Josef Pichler

Rudolf Ramler

pp. 494-497

PDF

Workflow Inspector ? A Test Tool for Microsoft Workflow Foundation (Abstract)

Alexander Lechner

Ruth Breu

pp. 498-501

PDF

Model-Based Quality Assurance of Windows Protocol Documentation (Abstract)

pp. 502-506

PDF

Distributed In Vivo Testing of Software Applications (Abstract)

pp. 509-512

PDF

A Methodology for UML Models V&V (Abstract)

Andrea Baruzzo

Marco Comini

pp. 513-516

PDF

Quality of Automatically Generated Test Cases based on OCL Expressions (Abstract)

Stephan Weissleder

Bernd-Holger Schlingloff

pp. 517-520

PDF

Improving Automated Testing of Multi-threaded Software (Abstract)

pp. 521-524

PDF

Functional Search-based Testing from State Machines (Abstract)

Raluca Lefticaru

Florentin Ipate

pp. 525-528

PDF

Verifying and Analyzing Adaptive Logic through UML State Models (Abstract)

Andres J. Ramirez

Betty H.C. Cheng

pp. 529-532

PDF

Statistical Sampling Based Approach to Alleviate Log Replay Testing (Abstract)

pp. 533-536

PDF

A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs (Abstract)

Myoung Yee Kim

Yoonsik Cheon

pp. 537-540

PDF

A JML Compiler Based on AspectJ (Abstract)

pp. 541-544

PDF

Author Index (PDF)

pp. 545-546

Publisher's Information (PDF)

pp. 548