CSDL - Proceedings T

TAIC PART Organization (PDF)

pp. x

TAIC PART Sponsors (PDF)

pp. x

TAIC PART Collaborators (PDF)

pp. x

Program Committee (PDF)

pp. xi

TAIC PART Program (PDF)

pp. xii-xv

Keynotes (PDF)

pp. xvi-xvii

Keynote Paper

Bogor: A Flexible Framework for Creating Software Model Checkers (Abstract)

Mr. Robby, Kansas State University, USA

Matthew B. Dwyer, University of Nebraska, Lincoln, USA

John Hatcliff, Kansas State University, USA

pp. 3-22

PDF

Motivation for Testing

Justifying Software Testing in the 21st Century (Abstract)

Ian Gilchrist, IPL Information Processing Ltd

pp. 23-28

PDF

Fault Prediction

Generating a Test Strategy with Bayesian Networks and Common Sense (Abstract)

Jean-Jacques Gras, Motorola Labs, UK

Rishabh Gupta, Motorola Labs, UK

Elena P?rez-Mi?ana, Motorola Labs, UK

pp. 29-40

PDF

On the Automation of Software Fault Prediction (Abstract)

Thomas J. Ostrand, AT&T Labs - Research, USA

Elaine J. Weyuker, AT&T Labs - Research, USA

pp. 41-48

PDF

Automated Inference and Abstraction

Identifying State Transitions and their Functions in Source Code (Abstract)

Neil Walkinshaw, The University of Sheffield, UK

Kirill Bogdanov, The University of Sheffield, UK

Mike Holcombe, The University of Sheffield, UK

pp. 49-58

PDF

Integration Testing of Components Guided by Incremental State Machine Learning (Abstract)

Keqin Li, CNRS LSR-IMAG, France

Roland Groz, CNRS LSR-IMAG, France

Muzammil Shahbaz, France T?l?com, France

pp. 59-70

PDF

PhD Papers

Incremental Inference of Black-Box Components to Support Integration Testing (Abstract)

Muzammil Shahbaz, France Telecom R&D, France

pp. 71-74

PDF

AutoAbstract: Problem Statement and Hypothetical Solutions (Abstract)

Shaukat Ali, University of Sheffield, UK

pp. 75-80

PDF

Testing in Context

Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach (Abstract)

Mika Katara, Tampere Univ. of Technology, Finland

Antti Kervinen, Tampere Univ. of Technology, Finland

Mika Maunumaa, Tampere Univ. of Technology, Finland

Tuula P??kk?nen, Nokia Technology Platforms, Finland

Mikko Satama, Tampere Univ. of Technology, Finland

pp. 81-89

PDF

TRex - The Refactoring and Metrics Tool for TTCN-3 Test Specifications (Abstract)

Paul Baker, Motorola Labs, UK

Dominic Evans, Motorola Labs, UK

Jens Grabowski, University of Gottingen, Germany

Helmut Neukirchen, University of Gottingen, Germany

Benjamin Zeiss, University of Gottingen, Germany

pp. 90-94

PDF

An XP Inspired Test-Oriented Life-Cycle Production Strategy for Building Embedded Biomedical Applications (Abstract)

James Miller, University of Alberta, Canada

Michael Smith, University of Calgary, Canada

Steve Daenick, NovAtel Inc., Canada

Jingwen Chen, University of Calgary, Canada

Juan Qiao, University of Calgary, Canada

Fang Huang, University of Calgary, Canada

Andrew Kwan, University of Calgary, Canada

Marc Roper, University of Strathclyde, Scotland

pp. 95-106

PDF

Techniques

Using Program Data-State Diversity in Test Data Search (Abstract)

Mohammad Alshraideh, The University Of Hull, UK

Leonardo Bottaci, The University Of Hull, UK

pp. 107-114

PDF

Testing the Implementation of Business Rules Using Intensional Database Tests (Abstract)

David Willmor, University of Manchester, UK

Suzanne M. Embury, University of Manchester, UK

pp. 115-126

PDF

Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking (Abstract)

Jos? Garc?a-Fanjul, University of Oviedo, Spain

Claudio de la Riva, University of Oviedo, Spain

Javier Tuya, University of Oviedo, Spain

pp. 127-130

PDF

Enabling Run-Time System Verification through Built-In Testing (Abstract)

Daniel Brenner, University of Mannheim, Germany

pp. 131-136

PDF

MATRIX: Maintenance-Oriented Testing Requirements Identifier and Examiner (Abstract)

Taweesup Apiwattanapong, Georgia Institute of Technology, USA

Raul Santelices, Georgia Institute of Technology, USA

Pavan Kumar Chittimalli, Tata Consultancy Services Limited

Alessandro Orso, Georgia Institute of Technology, USA

Mary Jean Harrold, Georgia Institute of Technology, USA

pp. 137-146

PDF

Extending Software Integration Testing Using Aspects in Symbian OS (Abstract)

Jani Pesonen, Nokia Corporation, Finland

pp. 147-151

PDF

Improving Testing Efficiency using Cumulative Test Analysis (Abstract)

Ian Holden, IBM, UK

Dave Dalton, IBM, UK

pp. 152-158

PDF

Empirical Studies

A Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing Techniques (Abstract)

Sigrid Eldh, Ericsson AB

Hans Hansson, M?lardalens University

Sasikumar Punnekkat, M?lardalens University

Anders Pettersson, M?lardalens University

Daniel Sundmark, M?lardalens University

pp. 159-170

PDF

On the Testing Maturity of Software Producing Organizations (Abstract)

Mats Grindal, University of Sk?ovde, Sweden

Jeff Offutt, George Mason University, USA

Jonas Mellin, University of Sk?ovde, Sweden

pp. 171-180

PDF

The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency Graph (Abstract)

S. Counsell, Brunel University, UK

R. M. Hierons, Brunel University, UK

R. Najjar, School of Computer Science and Information Systems, Birbeck, UK

G. Loizou, School of Computer Science and Information Systems, Birbeck, UK

Y. Hassoun, Imperial College, UK

pp. 181-192

PDF

Delayed Failures in Software Using High Volume Automated Testing (Abstract)

Jeremy Gardiner, Cranfield University

pp. 193-196

PDF

Empirical Assessment of Test-First Approach (Abstract)

Liang Huang, University of Sheffield, UK

Mike Holcombe, University of Sheffield, UK

pp. 197-202

PDF

Case Studies

Testing a Datawarehouse - An Industrial Challenge (Abstract)

Harry M. Sneed, ANECON GmbH, Germany

pp. 203-210

PDF

Use Case-Based Acceptance Testing of a Large Industrial System: Approach and Experience Report (Abstract)

Serguei Roubtsov, Eindhoven University of Technology, The Netherlands

Petra Heck, Eindhoven University of Technology, The Netherlands

pp. 211-220

PDF

Author Index

Author Index (PDF)

pp. 221