Abstract is missing.
- Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test ExecutionWeifeng Xu, Dianxiang Xu. 3-9 [doi]
- IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering ArraysAndrea Calvagna, Angelo Gargantini. 10-18 [doi]
- A Model for the Measurement of the Runtime Testability of Component-Based SystemsAlberto González 0002, Éric Piel, Hans-Gerhard Gross. 19-28 [doi]
- Towards an Industrial Strength Process for Timed TestingRalf Mitsching, Carsten Weise, André Kolbe, Henrik C. Bohnenkamp, Norbert Berzen. 29-38 [doi]
- Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case StudyJohannes Kloos, Robert Eschbach. 39-47 [doi]
- Checking Sequence Generation Using State Distinguishing SubsequencesAdenilso da Silva Simão, Alexandre Petrenko. 48-56 [doi]
- Test Case Generation Using Model Checking for Software Components Deployed into New EnvironmentsTonglaga Bao, Michael D. Jones. 57-66 [doi]
- Formal Correctness of a Passive Testing Approach for Timed SystemsCésar Andrés, Mercedes G. Merayo, Manuel Núñez. 67-76 [doi]
- Experimental Comparison of Code-Based and Model-Based Test PrioritizationBogdan Korel, George Koutsogiannakis. 77-84 [doi]
- Keynote Paper: Search Based Software Testing for Software Security: Breaking Code to Make it SaferGiuliano Antoniol. 87-100 [doi]
- Measuring and Improving Latency to Avoid Test Suite Wear OutShin Yoo, Mark Harman, Shmuel Ur. 101-110 [doi]
- Evolutionary White-Box Software Test with the EvoTest Framework: A Progress ReportHamilton Gross, Peter M. Kruse, Joachim Wegener, Tanja E. J. Vos. 111-120 [doi]
- Signal Generation for Search-Based Testing of Continuous SystemsAndreas Windisch, Noura Al Moubayed. 121-130 [doi]
- A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter SearchRaquel Blanco, José García-Fanjul, Javier Tuya. 131-140 [doi]
- Evolving the Quality of a Model Based Test SuiteUsman Farooq, Chiou Peng Lam. 141-149 [doi]
- Temporal White-Box Testing Using Evolutionary AlgorithmsNoura Al Moubayed, Andreas Windisch. 150-151 [doi]
- Using Execution Paths to Evolve Software PatchesThanhVu Nguyen, Westley Weimer, Claire Le Goues, Stephanie Forrest. 152-153 [doi]
- A Mutation/Injection-Based Automatic Framework for Evaluating Code Clone Detection ToolsChanchal K. Roy, James R. Cordy. 157-166 [doi]
- Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault DetectionGarrett Kent Kaminski, Paul Ammann. 167-176 [doi]
- Mutation Analysis of Parameterized Unit TestsTao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. 177-181 [doi]
- Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-MutationsThomas Knauth, Christof Fetzer, Pascal Felber. 182-191 [doi]
- The Impact of Equivalent MutantsBernhard J. M. Grün, David Schuler, Andreas Zeller. 192-199 [doi]
- AjMutator: A Tool for the Mutation Analysis of AspectJ Pointcut DescriptorsRomain Delamare, Benoit Baudry, Yves Le Traon. 200-204 [doi]
- Evaluating Testing Strategies for Imaging Software by Means of Mutation AnalysisRené Just, Franz Schweiggert. 205-209 [doi]
- Comparison of Unit-Level Automated Test Generation ToolsShuang Wang, Jeff Offutt. 210-219 [doi]
- An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path CoverageNan Li, Upsorn Praphamontripong, Jeff Offutt. 220-229 [doi]
- Advantages of Mutation in Passive Testing: An Empirical StudyCésar Andrés, Mercedes G. Merayo, Carlos Molinero. 230-239 [doi]
- Creating GUI Testing Tools Using Accessibility TechnologiesMark Grechanik, Qing Xie, Chen Fu. 243-250 [doi]
- An Extensible Heuristic-Based Framework for GUI Test Case MaintenanceScott McMaster, Atif M. Memon. 251-254 [doi]
- Structural Feature Extraction for GUI Test EnhancementChristof J. Budnik, Fevzi Belli, Axel Hollmann. 255-262 [doi]
- Towards Dynamic Adaptive Automated Test Generation for Graphical User InterfacesXun Yuan, Myra B. Cohen, Atif M. Memon. 263-266 [doi]
- An Initial Study of Customer-Reported GUI DefectsBrian P. Robinson, Penelope A. Brooks. 267-274 [doi]
- SOA Test Governance: Enabling Service Integration Testing across Organization and Technology BordersAntonia Bertolino, Andrea Polini. 277-286 [doi]
- Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web ApplicationsManar H. Alalfi, James R. Cordy, Thomas R. Dean. 287-294 [doi]
- Using Common Criteria to Assess Quality of Web ServicesVincent Pretre, Fabrice Bouquet, Christophe Lang. 295-302 [doi]
- Automated Client-Side Monitoring for Web ApplicationsShauvik Roy Choudhary, Alessandro Orso. 303-306 [doi]
- Testing Composite Web Services-An Event-Based ApproachFevzi Belli, Michael Linschulte. 307-310 [doi]