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

@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)

13 ×#testing
8 ×#modelling
4 ×#generative
3 ×#automation
3 ×#fault
3 ×#using
2 ×#detection
2 ×#requirements
2 ×#validation

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.