default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd ICST Workshops 2009: Denver, Colorado, USA
- Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings. IEEE Computer Society 2009, ISBN 978-0-7695-3671-2
- Weifeng Xu, Dianxiang Xu:
Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution. 3-9 - Andrea Calvagna
, Angelo Gargantini:
IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays. 10-18 - Alberto González, Éric Piel, Hans-Gerhard Gross:
A Model for the Measurement of the Runtime Testability of Component-Based Systems. 19-28 - Ralf Mitsching, Carsten Weise, André Kolbe, Henrik C. Bohnenkamp, Norbert Berzen:
Towards an Industrial Strength Process for Timed Testing. 29-38 - Johannes Kloos, Robert Eschbach:
Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study. 39-47 - Adenilso da Silva Simão, Alexandre Petrenko:
Checking Sequence Generation Using State Distinguishing Subsequences. 48-56 - Tonglaga Bao, Michael D. Jones:
Test Case Generation Using Model Checking for Software Components Deployed into New Environments. 57-66 - César Andrés, Mercedes G. Merayo, Manuel Núñez:
Formal Correctness of a Passive Testing Approach for Timed Systems. 67-76 - Bogdan Korel, George Koutsogiannakis:
Experimental Comparison of Code-Based and Model-Based Test Prioritization. 77-84 - Giuliano Antoniol:
Keynote Paper: Search Based Software Testing for Software Security: Breaking Code to Make it Safer. 87-100 - Shin Yoo, Mark Harman, Shmuel Ur:
Measuring and Improving Latency to Avoid Test Suite Wear Out. 101-110 - Hamilton Gross, Peter M. Kruse, Joachim Wegener, Tanja E. J. Vos:
Evolutionary White-Box Software Test with the EvoTest Framework: A Progress Report. 111-120 - Andreas Windisch, Noura Al Moubayed:
Signal Generation for Search-Based Testing of Continuous Systems. 121-130 - Raquel Blanco, José García-Fanjul, Javier Tuya:
A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search. 131-140 - Usman Farooq, Chiou Peng Lam:
Evolving the Quality of a Model Based Test Suite. 141-149 - Noura Al Moubayed, Andreas Windisch:
Temporal White-Box Testing Using Evolutionary Algorithms. 150-151 - ThanhVu Nguyen, Westley Weimer, Claire Le Goues, Stephanie Forrest:
Using Execution Paths to Evolve Software Patches. 152-153 - Chanchal K. Roy, James R. Cordy:
A Mutation/Injection-Based Automatic Framework for Evaluating Code Clone Detection Tools. 157-166 - Garrett Kent Kaminski, Paul Ammann:
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection. 167-176 - Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Mutation Analysis of Parameterized Unit Tests. 177-181 - Thomas Knauth, Christof Fetzer, Pascal Felber:
Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations. 182-191 - Bernhard J. M. Grün, David Schuler, Andreas Zeller:
The Impact of Equivalent Mutants. 192-199 - Romain Delamare, Benoit Baudry, Yves Le Traon:
AjMutator: A Tool for the Mutation Analysis of AspectJ Pointcut Descriptors. 200-204 - René Just, Franz Schweiggert:
Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis. 205-209 - Shuang Wang, Jeff Offutt:
Comparison of Unit-Level Automated Test Generation Tools. 210-219 - Nan Li, Upsorn Praphamontripong, Jeff Offutt:
An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path Coverage. 220-229 - César Andrés, Mercedes G. Merayo, Carlos Molinero:
Advantages of Mutation in Passive Testing: An Empirical Study. 230-239 - Mark Grechanik, Qing Xie, Chen Fu:
Creating GUI Testing Tools Using Accessibility Technologies. 243-250 - Scott McMaster, Atif M. Memon:
An Extensible Heuristic-Based Framework for GUI Test Case Maintenance. 251-254 - Christof J. Budnik, Fevzi Belli, Axel Hollmann:
Structural Feature Extraction for GUI Test Enhancement. 255-262 - Xun Yuan, Myra B. Cohen, Atif M. Memon:
Towards Dynamic Adaptive Automated Test Generation for Graphical User Interfaces. 263-266 - Brian P. Robinson, Penelope A. Brooks:
An Initial Study of Customer-Reported GUI Defects. 267-274 - Antonia Bertolino, Andrea Polini:
SOA Test Governance: Enabling Service Integration Testing across Organization and Technology Borders. 277-286 - Manar H. Alalfi, James R. Cordy, Thomas R. Dean:
Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications. 287-294 - Vincent Pretre, Fabrice Bouquet, Christophe Lang:
Using Common Criteria to Assess Quality of Web Services. 295-302 - Shauvik Roy Choudhary, Alessandro Orso:
Automated Client-Side Monitoring for Web Applications. 303-306 - Fevzi Belli, Michael Linschulte:
Testing Composite Web Services-An Event-Based Approach. 307-310
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 2025-11-04 22:19 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:
