CSDL - Proceedings I

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-vii

ICST Organizing Committees (PDF)

pp. viii

ICST Workshop Organizers (PDF)

pp. ix

Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution (Abstract)

Weifeng Xu

Dianxiang Xu

pp. 3-9

PDF

IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays (Abstract)

Andrea Calvagna

Angelo Gargantini

pp. 10-18

PDF

A Model for the Measurement of the Runtime Testability of Component-Based Systems (Abstract)

pp. 19-28

PDF

Towards an Industrial Strength Process for Timed Testing (Abstract)

pp. 29-38

PDF

Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study (Abstract)

Johannes Kloos

Robert Eschbach

pp. 39-47

PDF

Checking Sequence Generation Using State Distinguishing Subsequences (Abstract)

Adenilso Simão

Alexandre Petrenko

pp. 48-56

PDF

Test Case Generation Using Model Checking for Software Components Deployed into New (Abstract)

Tonglaga Bao

Michael D. Jones

pp. 57-66

PDF

Formal Correctness of a Passive Testing Approach for Timed Systems (Abstract)

pp. 67-76

PDF

Experimental Comparison of Code-Based and Model-Based Test Prioritization (Abstract)

Bogdan Korel

George Koutsogiannakis

pp. 77-84

PDF

Keynote Paper: Search Based Software Testing for Software Security: Breaking Code to Make it Safer (Abstract)

Giuliano Antoniol

pp. 87-100

PDF

Measuring and Improving Latency to Avoid Test Suite Wear Out (Abstract)

pp. 101-110

PDF

Evolutionary White-Box Software Test with the EvoTest Framework: A Progress Report (Abstract)

pp. 111-120

PDF

Signal Generation for Search-Based Testing of Continuous Systems (Abstract)

Andreas Windisch

Noura Al Moubayed

pp. 121-130

PDF

A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search (Abstract)

pp. 131-140

PDF

Evolving the Quality of a Model Based Test Suite (Abstract)

Usman Farooq

C. P. Lam

pp. 141-149

PDF

Temporal White-Box Testing Using Evolutionary Algorithms (Abstract)

Noura Al Moubayed

Andreas Windisch

pp. 150-151

PDF

Using Execution Paths to Evolve Software Patches (Abstract)

pp. 152-153

PDF

A Mutation/Injection-Based Automatic Framework for Evaluating Code Clone Detection Tools (Abstract)

Chanchal K. Roy

James R. Cordy

pp. 157-166

PDF

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection (Abstract)

Garrett Kaminski

Paul Ammann

pp. 167-176

PDF

Mutation Analysis of Parameterized Unit Tests (Abstract)

Tao Xie

pp. 177-181

PDF

Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations (Abstract)

pp. 182-191

PDF

The Impact of Equivalent Mutants (Abstract)

pp. 192-199

PDF

AjMutator: A Tool for the Mutation Analysis of AspectJ Pointcut Descriptors (Abstract)

pp. 200-204

PDF

Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis (Abstract)

René Just

Franz Schweiggert

pp. 205-209

PDF

Comparison of Unit-Level Automated Test Generation Tools (Abstract)

Shuang Wang

Jeff Offutt

pp. 210-219

PDF

An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path Coverage (Abstract)

Nan Li

Upsorn Praphamontripong

Jeff Offutt

pp. 220-229

PDF

Advantages of Mutation in Passive Testing: An Empirical Study (Abstract)

pp. 230-239

PDF

Creating GUI Testing Tools Using Accessibility Technologies (Abstract)

Mark Grechanik

Qing Xie

Chen Fu

pp. 243-250

PDF

An Extensible Heuristic-Based Framework for GUI Test Case Maintenance (Abstract)

Scott McMaster

Atif M. Memon

pp. 251-254

PDF

Structural Feature Extraction for GUI Test Enhancement (Abstract)

pp. 255-262

PDF

Towards Dynamic Adaptive Automated Test Generation for Graphical User Interfaces (Abstract)

pp. 263-266

PDF

An Initial Study of Customer-Reported GUI Defects (Abstract)

Brian Robinson

Penelope Brooks

pp. 267-274

PDF

SOA Test Governance: Enabling Service Integration Testing across Organization and Technology Borders (Abstract)

Antonia Bertolino

Andrea Polini

pp. 277-286

PDF

Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications (Abstract)

pp. 287-294

PDF

Using Common Criteria to Assess Quality of Web Services (Abstract)

V. Pretre

F. Bouquet

C. Lang

pp. 295-302

PDF

Automated Client-Side Monitoring for Web Applications (Abstract)

Shauvik Roy Choudhary

Alessandro Orso

pp. 303-306

PDF

Testing Composite Web Services--An Event-Based Approach (Abstract)

Fevzi Belli

Michael Linschulte

pp. 307-310

PDF

Author Index (PDF)

pp. 311-312

Publisher's Information (PDF)

pp. 314