CSDL - Proceedings I

PDF

Formally comparing user and implementer model-based testing methods (Abstract)

pp. 1-10

PDF

Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation (Abstract)

pp. 11-20

PDF

Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations (Abstract)

pp. 21-30

PDF

Ordering Coverage Goals in Model Checker Based Testing (Abstract)

Gordon Fraser

Franz Wotawa

pp. 31-40

PDF

Testing and Validating the Quality of Specifications (Abstract)

pp. 41-52

PDF

Automated Test of Interactive Applications Using Task Trees (Abstract)

Laya Madani

Ioannis Parissis

pp. 53-62

PDF

An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models (Abstract)

pp. 63-72

PDF

MODEVVA

Verification of UML/OCL Class Diagrams using Constraint Programming (Abstract)

pp. 73-80

PDF

Querying UML Models using OCL and Prolog: A Performance Study (Abstract)

pp. 81-88

PDF

Using context descriptions and property definition patterns for software formal verification (Abstract)

pp. 89-96

PDF

Unit Testing Model Management Operations (Abstract)

Dimitrios S. Polack

pp. 97-104

PDF

Model transformation testing: oracle issue (Abstract)

pp. 105-112

PDF

Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt (Abstract)

Audrey Occello

Anne-Marie Dery-Pinna

Michel Riveill

pp. 113-120

PDF

MOVAH

Mastering Specification Heterogeneity with Multifacet Analysis (Abstract)

J. Christian Attiogbé

pp. 121-130

PDF

Heterogeneous colimits (Abstract)

Mihai Codescu

Till Mossakowski

pp. 131-140

PDF

Checking Properties on the Control of Heterogeneous Systems (Abstract)

Christophe Jacquet

Dominique Marcadet

pp. 141-150

PDF

Executing a Standard Compliant Transformation Model on a Non-standard Platform (Abstract)

pp. 151-160

PDF

Theoretical Runtime Analyses of Search Algorithms on the Test Data Generation for the Triangle Classification Problem (Abstract)

SBST

Andrea Arcuri

Per Kristian Lehre

Xin Yao

pp. 161-169

PDF

The spin on guided random search in verification (Abstract)

Thang H. Bui

Albert Nymeyer

pp. 170-177

PDF

Searching for Cognitively Diverse Tests: Towards Universal Test Diversity Metrics (Abstract)

pp. 178-186

PDF

Strengthening Inferred Specifications using Search Based Testing (Abstract)

Kamran Ghani

John A. Clark

pp. 187-194

PDF

Towards Constraing-Based Local Search for Automatic Test Data Generation (Abstract)

pp. 195

PDF

Open Problems in Testability Transformation (Abstract)

pp. 196-209

PDF

Search-based Testing using State-based Fitness (Abstract)

Raluca Lefticaru

Florentin Ipate

pp. 210

PDF

Hybridizing Evolutionary Testing with Artificial Immune Systems and Local Search (Abstract)

Konstantinos Liaskos

Marc Roper

pp. 211-220

PDF

Constraint-based Evolutionary Testing of Autonomous Distributed Systems (Abstract)

Cu D. Nguyen

Anna Perini

Paolo Tonella

Fondazione Bruno Kessler

pp. 221-230

PDF

Evolutionary Structural Testing of Software with Pointers (Abstract)

Maria Prutkina

Andreas Windisch

pp. 231

PDF

Handling Constraints for Search Based Software Test Data Generation (Abstract)

Ramon Sagarna

Xin Yao

pp. 232-240

PDF

Christoph Schneckenburger

Investigating the dimensionality problem of Adaptive Random Testing incorporating a local search technique (Abstract)

Franz Schweiggert

pp. 241-250

PDF

Search-Based Testing of Complex Simulink Models containing Stateflow Diagrams (Abstract)

Ramon Sagarna

Xin Yao

pp. 251

PDF

SECTEST

Test generation and execution for security rules in temporal logic (Abstract)

pp. 252-259

PDF

Security policy testing using vulnerability exploit chaining (Abstract)

Vianney Darmaillacq

pp. 260-261

PDF

Detecting Security Vulnerabilities with Software Architecture Analysis Tools (Abstract)

pp. 262-268

PDF

Testing Security Policies for Web Applications (Abstract)

pp. 269-270

PDF

A Runtime Monitoring Environment for Mobile Java (Abstract)

pp. 271-278

PDF

A Generic Metamodel For Security Policies Mutation (Abstract)

pp. 279-286

PDF

Learning from Software Security Testing (Abstract)

pp. 287-294

PDF

Security Testing: Turning Practice into Theory (Abstract)

Sven Türpe

pp. 295-302

PDF

When it comes to Testing, is Usability the Closest Analogy to Security? (Abstract)

Sven Türpe

pp. 303-304

PDF

STANDARD

A universal management and monitoring process for testing (Abstract)

Kees Blokland

pp. 316-321

PDF

Incorporating Metrics in an Organizational Test Strategy (Abstract)

Wasif Afzal

Richard Torkar

pp. 305-315

PDF

Testing Processes (Abstract)

Anne Mette

Jonassen Hass

pp. 322-327

PDF

A Test Process for all Lifecycles (Abstract)

Ian Londesbrough

pp. 328-331

PDF

Identifying Pitfalls of System Integration -- An Exploratory Study (Abstract)

J. Ammerlaan

pp. 332-338

PDF

Test Policy: Gaining Control on IT Quality and Processes (Abstract)

Iris Pinkster

pp. 339-342

PDF

The Keystone to Support a Generic Test Process: (Abstract)

Mike Smith

Neil Thompson

pp. 343-353

PDF

TESTBENCH

A Benchmarking Suite for Measurement-Based WCET Analysis Tools (Abstract)

Sven Bünte

Michael Tautschnig

pp. 354-356

PDF

A Workload Model for Benchmarking BPEL Engines (Abstract)

pp. 357-360

PDF

Christoph Schneckenburger

Benchmarking Testing Strategies with Tools from Mutation Analysis (Abstract)

Ralph Guderlei

René Just

pp. 361-364

PDF

Multi-Dimensional Measures for Test Case Quality (Abstract)

pp. 365-368

PDF

Test Benchmarks -- what is the question? (Abstract)

pp. 369-371

PDF

Balanced FSM Generation for Empirical Studies (Abstract)

pp. 372-375

PDF

Benchmarking Effectiveness for Object-Oriented Unit Testing (Abstract)

Anthony J. Thomson

pp. 376-379

PDF

Experience with a Concurrency Bugs Benchmark (Abstract)

pp. 380-384

PDF