B.K. Aichernig, M. Weiglhofer, B. Peischl, F. Wotawa, Test purpose generation in an industrial application, in: 3rd Workshop on Advances in Model-Based Testing, A-MOST'07, ACM Press, 2007, pp. 115--125.

C. Andrés, L. Llana, I. Rodríguez, Formally comparing user and implementer model-based testing methods, in: 4th Workshop on Advances in Model-Based Testing, A-MOST'08, IEEE Computer Society, 2008, pp. 1--10.

M. Auguston, J.B. Michael, M. Shing, Environment behavior models for scenario generation and testing automation, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05. ACM Press, 2005.

M. Auguston, J.B. Michael, M. Shing, Environment behavior models for automation of testing and assessment of system safety, Information & Software Technology, 48 (10) (2006) 971–980.

S. Benz, Combining test case generation for component and integration testing, in: 3rd Workshop on Advances in Model-Based Testing, A-MOST'07, ACM Press, 2007, pp. 23--33.

R.V. Binder, J.E. Hanlon, The advanced mobile application testing environment, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05, ACM Press, 2005.

F. Bouquet, C. Grandpierre, B. Legeard, F. Peureux, N. Vacelet, M. Utting, A subset of precise UML for model-based testing, in: 3rd Workshop on Advances in Model-Based Testing, A-MOST'07, ACM Press, 2007, pp. 95--104.

F. Bouquet, E. Jaffuel, B. Legeard, F. Peureux, M. Utting, Requirements traceability in automated test generation: application to smart card software validation, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05, ACM Press, 2005.

R.C. Bryce, C.J. Colbourn, Test prioritization for pairwise interaction coverage, in: 1st Workshop on Advances in Model-Based Software Testing, A- MOST'05, ACM Press, 2005.

R.C. Bryce, C.J. Colbourn, Prioritized interaction testing for pair-wise coverage with seeding and constraint, Information & Software Technology 48 (10) (2006) 960–970.

X. Cai, M.R. Lyu, The effect of code coverage on fault detection under different testing profiles, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05, ACM Press, 2005.

A. Cavalli, E. Martins, A. Morais, Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations, in: 4th Workshop on Advances in Model-Based Testing, A-MOST'08, IEEE Computer Society, 2008, pp. 21--30.

Y. Chen, R.L. Probert, H. Ural, Model-based regression test suite generation using dependence analysis, in: 3rd Workshop on Advances in Model-Based Testing, A-MOST'07, ACM Press, 2007, pp. 54--62.

M. Clermont, D.L. Parnas, Using information about functions in selecting test cases, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05, ACM Press, 2005.

M.B. Cohen, J. Snyder, G. Rothermel, Testing across configurations: implications for combinatorial testing, in: 2nd Workshop on Advances in Model-Based Software Testing, A-MOST'06, ACM Press, 2006.

A.L.L. de Figueiredo, W. de L. Andrade, P.D.L. Machado, Generating interaction test cases for mobile phone systems from use case specifications, in: 2nd Workshop on Advances in Model-Based Software Testing, A-MOST'06, ACM Press. 2006

Q. Farooq, M.Z.Z. Iqbal, Z.I. Malik, A. Nadeem, An approach for selective state machine based regression testing, in: 3rd Workshop on Advances in Model-Based Testing, A-MOST'07, ACM Press, 2007, pp. 44--52.

G. Fraser, F. Wotawa, Property relevant software testing with model-checkers, in: 2nd Workshop on Advances in Model-Based Software Testing, A-MOST'06, ACM Press, 2006.

G. Fraser, F. Wotawa, Using LTL rewriting to improve the performance of model-checker based test-case generation, in: 3rd Workshop on Advances in Model-Based Testing, A-MOST'07, ACM Press, 2007, pp. 64--74.

G. Fraser, F. Wotawa, Ordering coverage goals in model checker based testing, in: 4th Workshop on Advances in Model-Based Testing, A-MOST'08, IEEE Computer Society, 2008, pp. 31--40.

G. Fraser, F. Wotawa, Using model-checkers to generate and analyze property relevant test-cases, Software Quality Journal 16 (2) (2008) 161–183.

A.F. Karr, A.A. Porter, Distributed performance testing using statistical modeling, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05, ACM Press, 2005.

N. Kicillof, W. Grieskamp, N. Tillmann, V.A. Braberman, Achieving both model and code coverage with automated gray-box testing, in: 3rd Workshop on Advances in Model-Based Testing, A-MOST'07, ACM Press, 2007, pp. 1--11.

P. Koopman, P. Achten, R. Plasmeijer, Testing and validating the quality of specifications, in: 4th Workshop on Advances in Model-Based Testing, A-MOST'08, IEEE Computer Society, 2008, pp. 41--52.

B. Korel, G. Koutsogiannakis, L.H. Tahat, Model-based test prioritization heuristic methods and their evaluation, in: 3rd Workshop on Advances in Model-Based Testing, A-MOST'07, P.B. Lakey, Model-based specification and testing applied to the ground-based midcourse defense (GMD) system: an industry report, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05, ACM Press, 2005.

X. Li, R. Nagarajan, Modeling for image processing system validation, verification and testing, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05, ACM Press, 2005.

C.M. Lott, Ashish Jain, S.R. Dalal, Modeling requirements for combinatorial software testing, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05, ACM Press, 2005.

L. Madani, I. Parissis, Automated test of interactive applications using task trees, in: 4th Workshop on Advances in Model-Based Testing, A-MOST'08, IEEE Computer Society, 2008, pp. 53--62.

P. Masson, J. Julliand, J. Plessis, E. Jaffuel, G. Debois, Automatic generation of model based tests for a class of security properties, in: 3rd Workshop on Advances in Model-Based Testing, A-MOST'07, ACM Press, 2007, pp. 12--22.

D. McGuinness, L. Murphy, A simulation model of a multi-server ejb system, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05, ACM Press, 2005.

L. Naslavsky, H. Ziv, D.J. Richardson, Towards traceability of model-based testing artifacts, in: 3rd Workshop on Advances in Model-Based Testing, A-MOST'07, ACM Press, 2007, pp. 105--114.

E.M. Olimpiew, H. Gomaa, Model-based testing for applications derived from software product lines, in: 1st Workshop on Advances in Model-BasedSoftware Testing, A-MOST'05, ACM

E.G. Paige, J. Woodcock, Observations for assertion-based scenarios in the context of model validation and extension to test case generation, in: 4th Workshop on Advances in Model-Based Testing, A-MOST'08, IEEE Computer Society, 2008, pp. 11--20.

A.M. Paradkar, Case studies on fault detection effectiveness of model based test generation techniques, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05, ACM Press, 2005.

A.M. Paradkar, A quest for appropriate software fault models: case studies on fault detection effectiveness of model-based test generation techniques, Information & Software Technology 48 (10) (2006) 949–959.

C. Robinson-Mallett, R.M. Hierons, P. Liggesmeyer, Achieving communication coverage in testing, in: 2nd Workshop on Advances in Model-Based Software Testing, A-MOST'06, ACM Press, 2006.

C. Robinson-Mallett, R.M. Hierons, J.H. Poore, P. Liggesmeyer, Using communication coverage criteria and partial model generation to assist software integration testing, Software Quality J 16 (2) (2008) 185–211.

C. Robinson-Mallett, P. Liggesmeyer, T. Mücke, U. Goltz, Generating optimal distinguishing sequences with a model checker, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05, ACM Press, 2005.

C. Robinson-Mallett, P. Liggesmeyer, T. Mücke, U. Goltz, Extended state identification and verification using a model checker, Information & Software Technology 48 (10) (2006) 981–992.

V. Santiago, N.L. Vijaykumar, D. Guimares, A.S. Amaral, An environment for automated test case generation from statechart-based and finite state machine-based behavioral models, in: 4th Workshop on Advances in Model-Based Testing, A-MOST'08, IEEE Computer Society, 2008, pp. 63--72.

M. Satpathy, S. Ramesh, Test case generation from formal models through abstraction refinement and model checking, in: 3rd Workshop on Advances in Model-Based Testing, A-MOST'07, ACM Press, 2007, pp. 85--94.

K. Sayre, Usage model-based automated testing of C++ templates, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05, ACM Press, 2005.

A. Schilling, K. Madeira, P. Donegan, K. Sousa, E. Furtado, V. Furtado, An integrated method for designing user interfaces based on tests, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05, ACM Press, 2005.

M. Sherriff, N. Nagappan, L.A. Williams, M.A. Vouk, Early estimation of defect density using an in-process Haskell metrics model, in: 1st Workshop on Advances in Model-Based Software Testing, A-MOST'05. ACM Press, 2005.

D. Wijesekera, P. Ammann, L. Sun, G. Fraser, Relating counterexamples to test cases in CTL model checking specifications, in: 3rd Workshop on Advances in Model-Based Testing, A-MOST'07, ACM Press, 2007, pp. 75--84.