default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. A-MOST 2005: St. Louis, Missouri, USA
- Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, A-MOST 2005, St. Louis, Missouri, USA. ACM 2005, ISBN 1-59593-115-5
- Renée C. Bryce, Charles J. Colbourn:
Test prioritization for pairwise interaction coverage. - Xia Cai, Michael R. Lyu:
The effect of code coverage on fault detection under different testing profiles. - Kirk Sayre:
Usage model-based automated testing of C++ templates. - David McGuinness, Liam Murphy
:
A simulation model of a multi-server EJB system. - Albert Schilling, Kelma Madeira, Paula Donegan, Kênia Soares Sousa, Elizabeth Furtado, Vasco Furtado:
An integrated method for designing user interfaces based on tests. - Christopher M. Lott, Ashish Jain, Siddhartha R. Dalal:
Modeling requirements for combinatorial software testing. - Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz:
Generating optimal distinguishing sequences with a model checker. - Mark Sherriff, Nachiappan Nagappan, Laurie A. Williams, Mladen A. Vouk:
Early estimation of defect density using an in-process Haskell metrics model. - Alan F. Karr, Adam A. Porter:
Distributed performance testing using statistical modeling. - Xing Li, Ramesh Nagarajan:
Modeling for image processing system validation, verification and testing. - Mikhail Auguston, James Bret Michael, Man-tak Shing:
Environment behavior models for scenario generation and testing automation. - Amit M. Paradkar:
Case studies on fault detection effectiveness of model based test generation techniques. - Peter B. Lakey:
Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system: an industry report. - Robert V. Binder, James E. Hanlon:
The advanced mobile application testing environment. 1 - Erika Mir Olimpiew, Hassan Gomaa:
Model-based testing for applications derived from software product lines. - Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting:
Requirements traceability in automated test generation: application to smart card software validation. - Markus Clermont, David Lorge Parnas:
Using information about functions in selecting test cases.
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-01-10 18:43 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:
