Publication: A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008.
Loading...
Files
Full text at PDC
Publication Date
2009-07
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Citations
Exportar
Abstract
This special issue contains the revised and extended versions of three papers presented in the 4th Workshop on Advances in Model-Based Testing (A-MOST 2008). In addition to an executive summary of these three papers, this preface briefly reviews the papers published in the four editions of the A-MOST workshop. We hope that the reader will find this special issue interesting and informative.
Description
UCM subjects
Unesco subjects
Keywords
Citation
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.