default search action
TAIC PART 2006: Windsor, UK
- Phil McMinn:
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 - Thomas J. Ostrand, Elaine J. Weyuker:
On the Automation of Software Fault Prediction. 41-48
Automated Inference and Abstraction
- Neil Walkinshaw
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 Aref Alshraideh
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
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
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-17 21:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: