Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar1. 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- Xia Cai, Michael R. Lyu:
The effect of code coverage on fault detection under different testing profiles. - 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. - 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. - 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.
maintained by 
, founded at 
, founded at 
last updated on 2019-02-20 00:25 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
