Abstract is missing.
- TAIC PART Collaborators [doi]
- Keynotes [doi]
- Program Committee [doi]
- TAIC PART Program [doi]
- TAIC PART Organization [doi]
- Preface [doi]
- TAIC PART Sponsors [doi]
- Bogor: A Flexible Framework for Creating Software Model CheckersRobby, Matthew B. Dwyer, John Hatcliff. 3-22 [doi]
- Justifying Software Testing in the 21st CenturyIan Gilchrist. 23-28 [doi]
- Generating a Test Strategy with Bayesian Networks and Common SenseJean-Jacques Gras, Rishabh Gupta, Elena Pérez-Miñana. 29-40 [doi]
- On the Automation of Software Fault PredictionThomas J. Ostrand, Elaine J. Weyuker. 41-48 [doi]
- Identifying State Transitions and their Functions in Source CodeNeil Walkinshaw, Kirill Bogdanov, Mike Holcombe. 49-58 [doi]
- Integration Testing of Components Guided by Incremental State Machine LearningKeqin Li, Roland Groz, Muzammil Shahbaz. 59-70 [doi]
- Incremental Inference of Black-Box Components to Support Integration TestingMuzammil Shahbaz. 71-74 [doi]
- AutoAbstract: Problem Statement and Hypothetical SolutionsShaukat Ali. 75-80 [doi]
- Towards Deploying Model-Based Testing with a Domain-Specific Modeling ApproachMika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mikko Satama. 81-89 [doi]
- TRex - The Refactoring and Metrics Tool for TTCN-3 Test SpecificationsPaul Baker, Dominic Evans, Jens Grabowski, Helmut Neukirchen, Benjamin Zeiss. 90-94 [doi]
- An XP Inspired Test-Oriented Life-Cycle Production Strategy for Building Embedded Biomedical ApplicationsJames Miller, Michael R. Smith, Steve Daenick, Jingwen Chen, Juan Qiao, Fang Huang, Andrew Kwan, Marc Roper. 95-106 [doi]
- Using Program Data-State Diversity in Test Data SearchMohammad Alshraideh, Leonardo Bottaci. 107-114 [doi]
- Testing the Implementation of Business Rules Using Intensional Database TestsDavid Willmor, Suzanne M. Embury. 115-126 [doi]
- Generation of Conformance Test Suites for Compositions of Web Services Using Model CheckingJosé García-Fanjul, Claudio de la Riva, Javier Tuya. 127-130 [doi]
- Enabling Run-Time System Verification through Built-In TestingDaniel Brenner. 131-136 [doi]
- MATRIX: Maintenance-Oriented Testing Requirements Identifier and ExaminerTaweesup Apiwattanapong, Raúl A. Santelices, Pavan Kumar Chittimalli, Alessandro Orso, Mary Jean Harrold. 137-146 [doi]
- Extending Software Integration Testing Using Aspects in Symbian OSJani Pesonen. 147-151 [doi]
- Improving Testing Efficiency using Cumulative Test AnalysisIan Holden, Dave Dalton. 152-158 [doi]
- A Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing TechniquesSigrid Eldh, Hans Hansson, Sasikumar Punnekkat, Anders Pettersson, Daniel Sundmark. 159-170 [doi]
- On the Testing Maturity of Software Producing OrganizationsMats Grindal, Jeff Offutt, Jonas Mellin. 171-180 [doi]
- The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency GraphSteve Counsell, Robert M. Hierons, Rajaa Najjar, George Loizou, Youssef Hassoun. 181-192 [doi]
- Delayed Failures in Software Using High Volume Automated TestingJeremy Gardiner. 193-196 [doi]
- Empirical Assessment of Test-First ApproachLiang Huang, Mike Holcombe. 197-202 [doi]
- Testing a Datawarehouse - An Industrial ChallengeHarry M. Sneed. 203-210 [doi]
- Use Case-Based Acceptance Testing of a Large Industrial System: Approach and Experience ReportSerguei A. Roubtsov, Petra Heck. 211-220 [doi]