Special Issue 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 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.

TEST
no DBLP info
Scholar
Full names Links ISxN
@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)

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.

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.