The Community for Technology Leaders
Practice And Research Techniques, Testing: Academic & Industrial Conference on (2006)
Windsor, United Kingdom
Aug. 29, 2006 to Aug. 31, 2006
ISBN: 0-7695-2672-1
TABLE OF CONTENTS
Introduction

Keynotes (PDF)

pp. xvi-xvii

TAIC PART Program (PDF)

pp. xii-xv
Keynote Paper

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

Matthew B. Dwyer , University of Nebraska, Lincoln, USA
John Hatcliff , Kansas State University, USA
Mr. Robby , Kansas State University, USA
pp. 3-22
Motivation for Testing

Justifying Software Testing in the 21st Century (Abstract)

Ian Gilchrist , IPL Information Processing Ltd
pp. 23-28
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

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
Automated Inference and Abstraction

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

Kirill Bogdanov , The University of Sheffield, UK
Neil Walkinshaw , The University of Sheffield, UK
Mike Holcombe , The University of Sheffield, UK
pp. 49-58

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

Roland Groz , CNRS LSR-IMAG, France
Muzammil Shahbaz , France T?l?com, France
Keqin Li , CNRS LSR-IMAG, France
pp. 59-70
PhD Papers

AutoAbstract: Problem Statement and Hypothetical Solutions (Abstract)

Shaukat Ali , University of Sheffield, UK
pp. 75-80
Testing in Context

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

Tuula P??kk?nen , Nokia Technology Platforms, Finland
Mika Katara , Tampere Univ. of Technology, Finland
Antti Kervinen , Tampere Univ. of Technology, Finland
Mikko Satama , Tampere Univ. of Technology, Finland
Mika Maunumaa , Tampere Univ. of Technology, Finland
pp. 81-89

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

Benjamin Zeiss , University of Gottingen, Germany
Dominic Evans , Motorola Labs, UK
Paul Baker , Motorola Labs, UK
Helmut Neukirchen , University of Gottingen, Germany
Jens Grabowski , University of Gottingen, Germany
pp. 90-94

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

Michael Smith , University of Calgary, Canada
Steve Daenick , NovAtel Inc., Canada
Jingwen Chen , University of Calgary, Canada
Juan Qiao , University of Calgary, Canada
Andrew Kwan , University of Calgary, Canada
Marc Roper , University of Strathclyde, Scotland
James Miller , University of Alberta, Canada
Fang Huang , University of Calgary, Canada
pp. 95-106
Techniques

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

Leonardo Bottaci , The University Of Hull, UK
Mohammad Alshraideh , The University Of Hull, UK
pp. 107-114

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

Suzanne M. Embury , University of Manchester, UK
David Willmor , University of Manchester, UK
pp. 115-126
PhD Papers

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

Javier Tuya , University of Oviedo, Spain
Jos? Garc?a-Fanjul , University of Oviedo, Spain
Claudio de la Riva , University of Oviedo, Spain
pp. 127-130

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

Daniel Brenner , University of Mannheim, Germany
pp. 131-136
Techniques

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

Raul Santelices , Georgia Institute of Technology, USA
Alessandro Orso , Georgia Institute of Technology, USA
Mary Jean Harrold , Georgia Institute of Technology, USA
Taweesup Apiwattanapong , Georgia Institute of Technology, USA
Pavan Kumar Chittimalli , Tata Consultancy Services Limited
pp. 137-146
Empirical Studies

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

Anders Pettersson , M?lardalens University
Hans Hansson , M?lardalens University
Sigrid Eldh , Ericsson AB
Daniel Sundmark , M?lardalens University
Sasikumar Punnekkat , M?lardalens University
pp. 159-170

On the Testing Maturity of Software Producing Organizations (Abstract)

Mats Grindal , University of Sk?ovde, Sweden
Jonas Mellin , University of Sk?ovde, Sweden
Jeff Offutt , George Mason University, USA
pp. 171-180

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

R. M. Hierons , Brunel University, UK
G. Loizou , School of Computer Science and Information Systems, Birbeck, UK
S. Counsell , Brunel University, UK
Y. Hassoun , Imperial College, UK
R. Najjar , School of Computer Science and Information Systems, Birbeck, UK
pp. 181-192
PhD Papers

Empirical Assessment of Test-First Approach (Abstract)

Liang Huang , University of Sheffield, UK
Mike Holcombe , University of Sheffield, UK
pp. 197-202
Case Studies

Testing a Datawarehouse - An Industrial Challenge (Abstract)

Harry M. Sneed , ANECON GmbH, Germany
pp. 203-210

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

Petra Heck , Eindhoven University of Technology, The Netherlands
Serguei Roubtsov , Eindhoven University of Technology, The Netherlands
pp. 211-220
Author Index

Author Index (PDF)

pp. 221
81 ms
(Ver 3.1 (10032016))