A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008.
| dc.contributor.author | García Merayo, María De Las Mercedes | |
| dc.contributor.author | Frantzen, Lars | |
| dc.contributor.author | Núñez García, Manuel | |
| dc.date.accessioned | 2023-06-20T00:12:26Z | |
| dc.date.available | 2023-06-20T00:12:26Z | |
| dc.date.issued | 2009-07 | |
| dc.description.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. | |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/15527 | |
| dc.identifier.doi | 10.1016/j.jlap.2009.02.010 | |
| dc.identifier.issn | 1567-8326 | |
| dc.identifier.officialurl | http://www.sciencedirect.com/science/article/pii/S1567832609000277 | |
| dc.identifier.relatedurl | http://www.sciencedirect.com/ | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/42195 | |
| dc.issue.number | 6 | |
| dc.journal.title | Journal of Logic and Algebraic Programming | |
| dc.language.iso | eng | |
| dc.page.final | 424 | |
| dc.page.initial | 417 | |
| dc.publisher | Elsevier | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 519.8 | |
| dc.subject.keyword | Generation | |
| dc.subject.keyword | Coverage | |
| dc.subject.keyword | Models | |
| dc.subject.ucm | Investigación operativa (Matemáticas) | |
| dc.subject.unesco | 1207 Investigación Operativa | |
| dc.title | A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. | |
| dc.type | journal article | |
| dc.volume.number | 78 | |
| dcterms.references | 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. | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 28ca46b8-d1eb-42e6-a6e2-f31b193b055b | |
| relation.isAuthorOfPublication | 26825d32-1d0a-4bbb-b145-e014e22f1a88 | |
| relation.isAuthorOfPublication.latestForDiscovery | 28ca46b8-d1eb-42e6-a6e2-f31b193b055b |
Download
Original bundle
1 - 1 of 1