{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T04:17:16Z","timestamp":1771647436989,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,1,16]],"date-time":"2017-01-16T00:00:00Z","timestamp":1484524800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Cluster Comput"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s10586-017-0728-4","type":"journal-article","created":{"date-parts":[[2017,1,16]],"date-time":"2017-01-16T16:49:33Z","timestamp":1484585373000},"page":"633-649","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Multidimensional test coverage analysis: PARADIGM-COV tool"],"prefix":"10.1007","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3431-8060","authenticated-orcid":false,"given":"Ana C. R.","family":"Paiva","sequence":"first","affiliation":[]},{"given":"Liliana","family":"Vilela","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,16]]},"reference":[{"key":"728_CR1","doi-asserted-by":"crossref","first-page":"1128","DOI":"10.1109\/TSE.1986.6313008","volume":"12","author":"EJ Weyuker","year":"1986","unstructured":"Weyuker, E.J.: Axiomatizing software test data adequacy. IEEE Trans. Softw. Eng. 12, 1128\u20131138 (1986)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"728_CR2","volume-title":"Encyclopedia of Software Engineering","author":"IK El-Far","year":"2002","unstructured":"El-Far, I.K., Whittaker, J.A.: Model-based software testing. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering. Wiley, New York (2002)"},{"key":"728_CR3","unstructured":"Eslamimehr, M.M.: The survey of model based testing and industrial tools. Master\u2019s Thesis, Link\u00f6ping University (2008)"},{"key":"728_CR4","doi-asserted-by":"crossref","unstructured":"Vilela, L., Paiva, A.C.R.: PARADIGM-COV\u2014a multimensional test coverage analysis tool. In: CISTI 2014\u20149 Conferencia Ibrica de Sistemas y Tecnologas de Informacin, Barcelona, 18\u201321 Junio 2014","DOI":"10.1109\/CISTI.2014.6876896"},{"key":"728_CR5","volume-title":"Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)","author":"RMLM Moreira","year":"2014","unstructured":"Moreira, R.M.L.M., Paiva, A.C.R.: A GUI modeling DSL for Pattern-Based GUI Testing PARADIGM. In: Maciaszek, L.A., Filipe, J. (eds.) Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE). SciTePress, Lisbon (2014)"},{"issue":"4","key":"728_CR6","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1023\/B:CLUS.0000039491.64560.8a","volume":"7","author":"R Batchu","year":"2004","unstructured":"Batchu, R., Dandass, Y.S., Skjellum, A., Beddhu, M.: MPI\/FT: a model-based approach to low-overhead fault tolerant message-passing middleware. Clust. Comput. 7(4), 303\u2013315 (2004)","journal-title":"Clust. Comput."},{"issue":"1","key":"728_CR7","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/s10586-013-0263-x","volume":"17","author":"V Stankovski","year":"2014","unstructured":"Stankovski, V., Petcu, D.: Developing a model driven approach for engineering applications based on mOSAIC. Clust. Comput. 17(1), 101\u2013110 (2014)","journal-title":"Clust. Comput."},{"key":"728_CR8","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.entcs.2004.12.004","volume":"111","author":"K Stobie","year":"2005","unstructured":"Stobie, K.: Model based testing in practice at Microsoft. Electron. Notes Theor. Comput. Sci. 111, 5\u201312 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"728_CR9","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1002\/stvr.427","volume":"21","author":"W Grieskamp","year":"2011","unstructured":"Grieskamp, W., Kicillof, N., Stobie, K., Braberman, V.: Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test. Verif. Reliab. 21, 55\u201371 (2011)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"728_CR10","doi-asserted-by":"crossref","unstructured":"Pretschner, A.: Model-based testing. In: Proceedings of 27th International Conference on Software Engineering, 2005 (ICSE 2005), pp. 722\u2013723 (2005)","DOI":"10.1145\/1062455.1062636"},{"key":"728_CR11","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S.: Simulated satisfaction of coverage criteria on UML state machines. In: 2010 Third International Conference on Software Testing, Verification and Validation (ICST), pp. 117\u2013126 (2010)","DOI":"10.1109\/ICST.2010.28"},{"key":"728_CR12","unstructured":"Wei\u00dfleder, S.: Coverage Simulator. http:\/\/covsim.sourceforge.net\/ . Accessed Oct 2016"},{"key":"728_CR13","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S., Rogenhofer, T.: Simulated restriction of coverage criteria on UML state machines. In: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 34\u201338, March 2011","DOI":"10.1109\/ICSTW.2011.78"},{"key":"728_CR14","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S.: Test models and coverage criteria for automatic model-based test generation with UML state machines. PhD Thesis, Humboldt-University Berlin (2010)","DOI":"10.1201\/b11321-5"},{"key":"728_CR15","first-page":"3976","volume-title":"Formal Methods and Testing","author":"M Veanes","year":"2008","unstructured":"Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-based testing of object-oriented reactive systems with spec explorer. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing, p. 3976. Springer, Berlin (2008)"},{"key":"728_CR16","unstructured":"Shafique, M., Labiche, Y.: A systematic review of model based testing tool support. Technical Report SCE-10-04. Department of Systems and Computer Engineering, Carleton University, Ottawa (2010)"},{"key":"728_CR17","first-page":"112","volume-title":"Testing of Software and Communicating Systems","author":"A Huima","year":"2007","unstructured":"Huima, A.: Implementing conformiq Qtronic. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) Testing of Software and Communicating Systems, p. 112. Springer, Berlin (2007)"},{"key":"728_CR18","doi-asserted-by":"crossref","unstructured":"Andrade, F.R., Faria, J.P., Paiva, A.C.R.: Test generation from bounded algebraic specifications using alloy. In: ICSOFT (2), pp. 192\u2013200 (2011)","DOI":"10.5220\/0003528101920200"},{"key":"728_CR19","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/978-3-642-30729-4_21","volume-title":"Integrated Formal Methods","author":"FR Andrade","year":"2012","unstructured":"Andrade, F.R., Faria, J.P., Lopes, A., Paiva, A.C.R.: Specification-driven unit test generation for Java Generic Classes. In: Derrick, J., Gnesi, S., Latella, D., Treharne, H. (eds.) Integrated Formal Methods, pp. 296\u2013311. Springer, Berlin (2012)"},{"key":"728_CR20","unstructured":"IBM: Safety-related software development using a model-based testing workflow. http:\/\/www.ibm.com\/developerworks\/rational\/library\/safety-related-software-development\/index.html . Accessed Oct 2016"},{"key":"728_CR21","doi-asserted-by":"crossref","unstructured":"Moreira, R., Paiva, A.C.R., Memon, A.: A pattern-based approach for GUI modelling and testing. In: The 24th IEEE International Symposium on Software Reliability Engineering\u2014ISSRE (2013)","DOI":"10.1109\/ISSRE.2013.6698881"},{"key":"728_CR22","doi-asserted-by":"crossref","unstructured":"Sacramento, C., Paiva, A.C.R.: Web application model generation through reverse engineering and UI pattern inferring. In: Proceedings of the 9th International Conference on the Quality of Information and Communications Technology\u2014QUATIC, Guimares, Portugal, 23\u201326 Sept 2014","DOI":"10.1109\/QUATIC.2014.20"},{"key":"728_CR23","doi-asserted-by":"crossref","unstructured":"Nabuco, M., Paiva, A.C.R.: Model-based test case generation for web applications. In: 14th International Conference Computational Science and Its Applications\u2014ICCSA 2014, pp. 248\u2013262 (2014)","DOI":"10.1007\/978-3-319-09153-2_19"},{"key":"728_CR24","doi-asserted-by":"crossref","unstructured":"Paiva, A.C.R., Faria, J., Tillmann, N., Vidal, R.: A model-to-implementation mapping tool for automated model-based GUI testing. In: 7th International Conference on Formal Engineering Methods\u2014ICFEM, vol. 3785, pp. 450\u2013464, UK, 1\u20134 Nov 2005","DOI":"10.1007\/11576280_31"}],"container-title":["Cluster Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-017-0728-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10586-017-0728-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-017-0728-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T14:33:46Z","timestamp":1749911626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10586-017-0728-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,16]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["728"],"URL":"https:\/\/doi.org\/10.1007\/s10586-017-0728-4","relation":{},"ISSN":["1386-7857","1573-7543"],"issn-type":[{"value":"1386-7857","type":"print"},{"value":"1573-7543","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1,16]]}}}