Proceedings of the Third Workshop on Advances in Model Based 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


Proceedings of the Third Workshop on Advances in Model Based Testing
A-MOST, 2007.

TEST
DBLP
Scholar
Full names Links ISxN
@proceedings{A-MOST-2007,
	address       = "London, England, United Kingdom",
	isbn          = "978-1-59593-850-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Third Workshop on Advances in Model Based Testing}",
	year          = 2007,
}

Contents (12 items)

A-MOST-2007-KicillofGTB #automation #test coverage #testing
Achieving both model and code coverage with automated gray-box testing (NK, WG, NT, VAB), pp. 1–11.
A-MOST-2007-MassonJPJD #automation #generative #modelling #security #testing
Automatic generation of model based tests for a class of security properties (PAM, JJ, JCP, EJ, GD), pp. 12–22.
A-MOST-2007-Benz #component #generative #integration #testing
Combining test case generation for component and integration testing (SB), pp. 23–33.
A-MOST-2007-KorelKT #evaluation #heuristic #modelling
Model-based test prioritization heuristic methods and their evaluation (BK, GK, LHT), pp. 34–43.
A-MOST-2007-FarooqIMN #approach #state machine #testing
An approach for selective state machine based regression testing (QuaF, MZZI, ZIM, AN), pp. 44–52.
A-MOST-2007-ChenPU #analysis #dependence #generative #modelling #testing #using
Model-based regression test suite generation using dependence analysis (YC, RLP, HU), pp. 54–62.
A-MOST-2007-FraserW #generative #ltl #model checking #performance #testing #using
Using LTL rewriting to improve the performance of model-checker based test-case generation (GF, FW), pp. 64–74.
A-MOST-2007-WijesekeraASF #model checking #specification #testing
Relating counterexamples to test cases in CTL model checking specifications (DW, PA, LS, GF), pp. 75–84.
A-MOST-2007-SatpathyR #abstraction #formal method #generative #model checking #modelling #refinement #testing
Test case generation from formal models through abstraction refinement and model checking (MS, SR), pp. 85–94.
A-MOST-2007-BouquetGLPVU #modelling #precise #testing #uml
A subset of precise UML for model-based testing (FB, CG, BL, FP, NV, MU), pp. 95–104.
A-MOST-2007-NaslavskyZR #modelling #testing #towards #traceability
Towards traceability of model-based testing artifacts (LN, HZ, DJR), pp. 105–114.
A-MOST-2007-AichernigWPW #generative #industrial
Test purpose generation in an industrial application (BKA, MW, BP, FW), pp. 115–125.

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.