TAIC PART 2006: Windsor, UK

Introduction

• Preface.
  
• TAIC PART Organization.
  
• TAIC PART Sponsors.
  
• TAIC PART Collaborators.
  
• Program Committee.
  
• TAIC PART Program.
  
• Keynotes.
  

Keynote Paper

• Robby, Matthew B. Dwyer, John Hatcliff:
  Bogor: A Flexible Framework for Creating Software Model Checkers. 3-22
  

Motivation for Testing

• Ian Gilchrist:
  Justifying Software Testing in the 21st Century. 23-28
  

Fault Prediction

• Jean-Jacques Gras, Rishabh Gupta, Elena Pérez-Miñana:
  Generating a Test Strategy with Bayesian Networks and Common Sense. 29-40
  
• Thomas J. Ostrand, Elaine J. Weyuker:
  On the Automation of Software Fault Prediction. 41-48
  

Automated Inference and Abstraction

• Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe:
  Identifying State Transitions and their Functions in Source Code. 49-58
  
• Keqin Li, Roland Groz, Muzammil Shahbaz:
  Integration Testing of Components Guided by Incremental State Machine Learning. 59-70
  

PhD Papers

• Muzammil Shahbaz:
  Incremental Inference of Black-Box Components to Support Integration Testing. 71-74
  
• Shaukat Ali:
  AutoAbstract: Problem Statement and Hypothetical Solutions. 75-80
  

Testing in Context

• Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mikko Satama:
  Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach. 81-89
  
• Paul Baker, Dominic Evans, Jens Grabowski, Helmut Neukirchen, Benjamin Zeiss:
  TRex - The Refactoring and Metrics Tool for TTCN-3 Test Specifications. 90-94
  
• James Miller, Michael R. Smith, Steven Daeninck, Jingwen Chen, Juan Qiao, Fang Huang, Andrew K. C. Kwan, Marc Roper:
  An XP Inspired Test-Oriented Life-Cycle Production Strategy for Building Embedded Biomedical Applications. 95-106
  

Techniques

• Mohammad Alshraideh, Leonardo Bottaci:
  Using Program Data-State Diversity in Test Data Search. 107-114
  
• David Willmor, Suzanne M. Embury:
  Testing the Implementation of Business Rules Using Intensional Database Tests. 115-126
  

PhD Papers

• José García-Fanjul, Claudio de la Riva, Javier Tuya:
  Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. 127-130
  
• Daniel Brenner:
  Enabling Run-Time System Verification through Built-In Testing. 131-136
  

Techniques

• Taweesup Apiwattanapong, Raúl A. Santelices, Pavan Kumar Chittimalli, Alessandro Orso, Mary Jean Harrold:
  MATRIX: Maintenance-Oriented Testing Requirements Identifier and Examiner. 137-146
  
• Jani Pesonen:
  Extending Software Integration Testing Using Aspects in Symbian OS. 147-151
  
• Ian Holden, Dave Dalton:
  Improving Testing Efficiency using Cumulative Test Analysis. 152-158
  

Empirical Studies

• Sigrid Eldh, Hans Hansson, Sasikumar Punnekkat, Anders Pettersson, Daniel Sundmark:
  A Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing Techniques. 159-170
  
• Mats Grindal, Jeff Offutt, Jonas Mellin:
  On the Testing Maturity of Software Producing Organizations. 171-180
  
• Steve Counsell, Robert M. Hierons, Rajaa Najjar, George Loizou, Youssef Hassoun:
  The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency Graph. 181-192
  

PhD Papers

• Jeremy Gardiner:
  Delayed Failures in Software Using High Volume Automated Testing. 193-196
  
• Liang Huang, Mike Holcombe:
  Empirical Assessment of Test-First Approach. 197-202
  

Case Studies

• Harry M. Sneed:
  Testing a Datawarehouse - An Industrial Challenge. 203-210
  
• Serguei A. Roubtsov, Petra Heck:
  Use Case-Based Acceptance Testing of a Large Industrial System: Approach and Experience Report. 211-220