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

@proceedings{A-MOST-J-2005,
	editor        = "Siddhartha R. Dalal and Ashish Jain and Jesse H. Poore",
	journal       = "{Information & Software Technology}",
	number        = 10,
	title         = "{Special Issue of the First Workshop on Advances in Model-Based Software Testing}",
	volume        = 48,
	year          = 2006,
}

Contents (4 items)

3 ×#testing
2 ×#modelling

A-MOST-J-2005-Paradkar06 #case study #detection #effectiveness #fault #generative #modelling #testing

A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques (AMP), pp. 949–959.

A-MOST-J-2005-BryceC06 #constraints #interactive #testing

Prioritized interaction testing for pair-wise coverage with seeding and constraints (RCB, CJC), pp. 960–970.

A-MOST-J-2005-AugustonMS06 #assessment #automation #behaviour #modelling #safety #testing

Environment behavior models for automation of testing and assessment of system safety (MA, JBM, MtS), pp. 971–980.

A-MOST-J-2005-Robinson-MallettLMG06 #identification #model checking #using #verification

Extended state identification and verification using a model checker (CRM, PL, TM, UG), pp. 981–992.