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

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

10 ×#testing
6 ×#generative
6 ×#modelling
3 ×#model checking
2 ×#automation
2 ×#using

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.