TAIC PART 2006: Windsor, UK

Introduction

Keynote Paper

Motivation for Testing

Fault Prediction

Automated Inference and Abstraction

PhD Papers

Testing in Context

Techniques

PhD Papers

Techniques

Empirical Studies

PhD Papers

Case Studies