Program & Presentations
In program (click link to download) order:
- Welcome to TAIC PART
Mark Harman and Phil McMinn - Keynote: Testing Leadership: From 2nd Class Citizens to Best of Breed
Bill Woodworth (IBM) - Justifying Testing in the 21st Century
Ian Gilchrist (IPL Ltd.) - Generating a Test Strategy with Bayesian Networks, and Common Sense
Jean-Jacques Gras, Elena Perez-Minana and Rishabh Gupta (Motorola) - On the Automation of Software Fault Prediction
Thomas Ostrand and Elaine Weyuker (AT&T) - Identifying State Transitions and their Functions in Source Code
Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe (University of Sheffield) - Integration Testing of Components Guided by Incremental State Machine Learning
Keqin Li, Roland Groz (LSR-IMAG), Muzammil Shahbaz (France Telecom) - Incremental Inference of Black-Box Components to support Integration Testing
Muzammil Shahbaz (France Telecom) - AutoAbstract: Problem Statement and Hypothetical Solutions
Shaukat Ali (University of Sheffield) - Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach
Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Paakkonen and Mikko Satama (Tampere University of Technology) - TRex - The Refactoring and Metrics Tool for TTCN-3 Test Specifications
Paul Baker, Dominic Evans (Motorola), Jens Grabowski, Helmut Neukirchen, Benjamin Zeiss (University of Gottingen) - A test-oriented life-cycle production strategy for building embedded biomedical applications
James Miller (University of Alberta), Mike Smith, Jingwen Chen, Juan Qiao, Fang Huang (University of Calgary) and Marc Roper (University of Strathclyde). - Using program data-state diversity in test data search
Mohammad Alshraideh and Leonardo Bottaci (University of Hull) - Testing the Implementation of Business Rules using Intensional Database Tests
David Willmor and Suzanne Embury (University of Manchester) - Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Jose Garcia-Fanjul, Claudio De la Riva and Javier Tuya (University of Oviedo) - Enabling Run-Time System Verification through Built-In Testing
Daniel Brenner (University of Mannheim) - MaTRIX: Maintenance-Oriented Test Requirements Identifier and Examiner
Taweesup Apiwattanapong, Raul Santelices, Pavan Kumar Chittimalli, Alessandro Orso, Mary Jean Harrold (Georgia Institute of Technology) - Extending Software Integration Testing Using Aspects in Symbian OS
Jani Pesonen (Nokia) - Improving Testing Efficiency using Cumulative Test Analysis
Ian Holden and Dave Dalton (IBM) - Keynote: Bogor: A Flexible Framework for Creating Software Model Checkers
John Hatcliff, Kansas State University - A Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing Techniques
Sigrid Eldh (Ericsson), Hans Hansson, Sasikumar Punnekkat, Anders Pettersson and Daniel Sundmark (Malardalen University) - On the Testing Maturity of Software Producing Organizations
Mats Grindal, Jeff Offutt and Jonas Mellin - The effectiveness of refactoring based on a compatibility testing taxonomy and a dependency graph
Steve Counsell, Robert Hierons, Rajaa Najjar, George Loizou, and Youssef Hassoun - Delayed Failures in Software Using High Volume Automated Testing
Jeremy Gardiner (Cranfield University) - Empirical Assessment of Test-First Approach
Liang Huang and Mike Holcombe (University of Sheffield) - Testing a Datawarehouse - An Industrial Challenge
Harry Sneed (ANECON) - Use Case-Based Acceptance Testing of a Large Industrial System: Approach and Experience Report
Serguei Roubtsov and Petra Heck (Eindhoven University of Technology)