Proceedings of the First Workshop on Advances in Model-Based Software Testing
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Siddhartha Dalal, Ashish Jain, Jesse H. Poore
Proceedings of the First Workshop on Advances in Model-Based Software Testing
A-MOST, 2005.

TEST
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{A-MOST-2005,
	address       = "St. Louis, Missouri, USA",
	doi           = "['10.1145/1062455.1062606', '10.1145/1083274']",
	editor        = "Siddhartha Dalal and Ashish Jain and Jesse H. Poore",
	isbn          = "978-1-59593-115-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the First Workshop on Advances in Model-Based Software Testing}",
	year          = 2005,
}

Contents (17 items)

A-MOST-2005-BryceC #interactive
Test prioritization for pairwise interaction coverage (RCB, CJC), pp. 1–7.
A-MOST-2005-Lakey #industrial #modelling #specification #testing
Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system: an industry report (PBL), pp. 8–12.
A-MOST-2005-Sayre #automation #c++ #modelling #testing
Usage model-based automated testing of C++ templates (KS), pp. 13–17.
A-MOST-2005-McGuinnessM #multi #simulation
A simulation model of a multi-server EJB system (DM, LM), pp. 18–24.
A-MOST-2005-OlimpiewG #modelling #product line #testing
Model-based testing for applications derived from software product lines (EMO, HG), pp. 25–31.
A-MOST-2005-SchillingMDSFF #design #testing #user interface
An integrated method for designing user interfaces based on tests (AS, KM, PD, KSS, EF, VF), pp. 32–36.
A-MOST-2005-LottJD #combinator #modelling #requirements #testing
Modeling requirements for combinatorial software testing (CML, AJ, SRD), pp. 37–43.
A-MOST-2005-BouquetJLPU #automation #generative #requirements #smarttech #testing #traceability #validation
Requirements traceability in automated test generation: application to smart card software validation (FB, EJ, BL, FP, MU), pp. 44–50.
A-MOST-2005-Robinson-MallettLMG #generative #model checking #sequence
Generating optimal distinguishing sequences with a model checker (CRM, PL, TM, UG), pp. 51–57.
A-MOST-2005-AugustonMS #automation #behaviour #generative #modelling #testing
Environment behavior models for scenario generation and testing automation (MA, JBM, MtS), pp. 58–63.
A-MOST-2005-SherriffNWV #estimation #fault #haskell #metric #using
Early estimation of defect density using an in-process Haskell metrics model (MS, NN, LAW, MAV), pp. 64–69.
A-MOST-2005-Paradkar #case study #detection #effectiveness #fault #generative #modelling #testing
Case studies on fault detection effectiveness of model based test generation techniques (AMP), pp. 70–76.
A-MOST-2005-KarrP #distributed #modelling #performance #statistics #testing #using
Distributed performance testing using statistical modeling (AFK, AAP), pp. 77–83.
A-MOST-2005-CaiL #detection #fault #test coverage #testing
The effect of code coverage on fault detection under different testing profiles (XC, MRL), pp. 84–90.
A-MOST-2005-BinderH #mobile #testing
The advanced mobile application testing environment (RVB, JEH), p. 91.
A-MOST-2005-LiN #image #modelling #testing #validation #verification
Modeling for image processing system validation, verification and testing (XL, RN), pp. 92–95.
A-MOST-2005-ClermontP #testing #using
Using information about functions in selecting test cases (MC, DLP), pp. 96–102.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.