TAIC PART 2006: Windsor, UK
Phil McMinn (Ed.): Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART 2006), 29-31 August 2006, Windsor, United Kingdom. IEEE Computer Society 2006 ISBN 0-7695-2672-1
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
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
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
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team