{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,5]],"date-time":"2024-07-05T01:38:14Z","timestamp":1720143494010},"reference-count":40,"publisher":"Sociedade Brasileira de Computacao - SB","issue":"1","license":[{"start":{"date-parts":[[2015,1,29]],"date-time":"2015-01-29T00:00:00Z","timestamp":1422489600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Softw Eng Res Dev"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1186\/s40411-014-0015-5","type":"journal-article","created":{"date-parts":[[2015,1,28]],"date-time":"2015-01-28T09:42:11Z","timestamp":1422438131000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Revealing influence of model structure and test case profile on the prioritization of test cases in the context of model-based testing"],"prefix":"10.5753","volume":"3","author":[{"given":"Jo\u00e3o Felipe","family":"Silva Ouriques","sequence":"first","affiliation":[]},{"given":"Emanuela Gadelha","family":"Cartaxo","sequence":"additional","affiliation":[]},{"given":"Patr\u00edcia Duarte","family":"Lima Machado","sequence":"additional","affiliation":[]}],"member":"3742","published-online":{"date-parts":[[2015,1,29]]},"reference":[{"key":"15_CR1","volume-title":"The Design and Analysis of Computer Algorithms","author":"AV Aho","year":"1974","unstructured":"Aho AV, Hopcroft JE, Ullman JD: The Design and Analysis of Computer Algorithms. Addison-Wesley, Massachusetts, USA; 1974."},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"1540","DOI":"10.1145\/1363686.1364045","volume-title":"SAC \u201908: Proc. of the 2008 ACM Symposium on Applied Computing,","author":"EG Cartaxo","year":"2008","unstructured":"Cartaxo EG, Andrade WL, Neto FGO, Machado PDL: LTS-BT: a tool to generate and select functional test cases for embedded systems. In SAC \u201908: Proc. of the 2008 ACM Symposium on Applied Computing,. ACM, New York, NY, USA; Vol. 2. 2008:1540\u20131544. 10.1145\/1363686.1364045"},{"key":"15_CR3","first-page":"1","volume-title":"XXIII Simp\u00f3sio Brasileiro de Engenharia de Software","author":"EG Cartaxo","year":"2008","unstructured":"Cartaxo, EG, Machado PDL, Neto FGO (2008) Sele\u00e7\u00e3o autom\u00e1tica de casos de teste baseada em fun\u00e7\u00f5es de similaridade In: XXIII Simp\u00f3sio Brasileiro de Engenharia de Software,1\u201316."},{"issue":"2","key":"15_CR4","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1002\/stvr.413","volume":"21","author":"EG Cartaxo","year":"2011","unstructured":"Cartaxo EG, Machado PDL, Oliveira FG: On the use of a similarity function for test case selection in the context of model-based testing. Software Test Verification Reliability 2011,21(2):75\u2013100. 10.1002\/stvr.413","journal-title":"Software Test Verification Reliability"},{"key":"15_CR5","first-page":"320","volume-title":"Advances in Computer Science - ASIAN 2004. Lecture Notes in Computer Science,","author":"TY Chen","year":"2004","unstructured":"Chen TY, Leung H, Mak IK: Adaptive random testing. In Advances in Computer Science - ASIAN 2004. Lecture Notes in Computer Science,. Springer, Auckland, New Zealand; 2004:320\u2013329."},{"key":"15_CR6","volume-title":"Introduction of Algorithms,","author":"TH Cormen","year":"2009","unstructured":"Cormen TH, Leiserson CE, Rivest RL, Stein C: Introduction of Algorithms,. 3rd edn. MIT Press, Massachusetts, USA; 2009."},{"key":"15_CR7","volume-title":"Test case prioritization based on data reuse for black-box environments","author":"LA de Lima","year":"2009","unstructured":"de Lima, LA (2009) Test case prioritization based on data reuse for black-box environments. Master\u2019s thesis, Universidade Federal de Pernambuco."},{"issue":"4","key":"15_CR8","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1007\/s100090050044","volume":"2","author":"RG de Vries","year":"2000","unstructured":"de Vries RG, Tretmans J: On-the-fly conformance testing using spin. International Journal on Software Tools for Technology Transfer 2000,2(4):382\u2013393. 10.1007\/s100090050044","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"5","key":"15_CR9","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1109\/TSE.2010.58","volume":"36","author":"H Do","year":"2010","unstructured":"Do H, Mirarab S, Tahvildari L, Rothermel G: The effects of time constraints on test case prioritization: A series of controlled experiments. IEEE Trans Software Eng 2010,36(5):593\u2013617. 10.1109\/TSE.2010.58","journal-title":"IEEE Trans Software Eng"},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/347324.348910","volume-title":"Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA \u201900,","author":"S Elbaum","year":"2000","unstructured":"Elbaum S, Malishevsky AG, Rothermel G: Prioritizing test cases for regression testing. In Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA \u201900,. ACM, New York, NY, USA,; 2000:102\u2013112."},{"issue":"2","key":"15_CR11","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1109\/32.988497","volume":"26","author":"SG Elbaum","year":"2002","unstructured":"Elbaum SG, Malishevsky AG, Rothermel G: Test case prioritization: A family of empirical studies. IEEE Transactions in Software Engineering 2002,26(2):159\u2013182. 10.1109\/32.988497","journal-title":"IEEE Transactions in Software Engineering"},{"key":"15_CR12","first-page":"2004","volume":"12","author":"Elbaum Sebastian","year":"2004","unstructured":"Elbaum Sebastian, Rothermel Gregg, Kaduri Satya, Malishevsky Alexey G: Selecting a cost-effective test case prioritization technique. Software Qual J 2004, 12: 2004.","journal-title":"Software Qual J"},{"key":"15_CR13","volume-title":"Prioritization of scenarios based on uml activity diagrams","author":"Gopinathan Sapna Ponaraseri","year":"2009","unstructured":"Gopinathan Sapna Ponaraseri, Mohanty H (2009) Prioritization of scenarios based on uml activity diagrams. In: CICSyN,pp 271\u2013276"},{"key":"15_CR14","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/CMSBSE.2013.6604430","volume-title":"Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop On","author":"F Gomes de OliveiraNeto","year":"2013","unstructured":"Gomes de OliveiraNeto F, Feldt R, Torkar R, Machado PDL: Searching for models to evaluate software technology. In Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop On. IEEE, San Francisco,; 2013:12\u201315. 10.1109\/CMSBSE.2013.6604430"},{"issue":"3","key":"15_CR15","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/152388.152391","volume":"2","author":"MJ Harrold","year":"1993","unstructured":"Harrold MJ, Gupta R, Soffa ML: A methodology for controlling the size of a test suite. ACM Trans Softw Eng Methodol 1993,2(3):270\u2013285. 10.1145\/152388.152391","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"15_CR16","unstructured":"Ouriques, JFS, Cartaxo EG, Machado PDL (2015) Empirical Studies on Model-Based Testing Prioritization. . Acessed in 21 Jan 2015. https:\/\/sites.google.com\/a\/computacao.ufcg.edu.br\/mb-tcp\/"},{"key":"15_CR17","unstructured":"Gentleman, R, Ihaka R (2015) The R Project for Statistical Computing. . Acessed in 21 Jan 2015. http:\/\/www.r-project.org\/"},{"key":"15_CR18","unstructured":"Vacondio, A, Bortolotti E, Benblidia H (2015) PDF Split and Merge. . Acessed in 21 Jan 2015. http:\/\/www.pdfsam.org"},{"key":"15_CR19","unstructured":"National Institute of Software Engineering (2015). . Acessed in 21 Jan 2015. www.ines.org.br"},{"key":"15_CR20","volume-title":"The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling","author":"RK Jain","year":"1991","unstructured":"Jain RK: The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling. Wiley, New York, NY, USA; 1991."},{"key":"15_CR21","first-page":"411","volume-title":"In the Intl. Computer Software and Applications Conf","author":"D Jeffrey","year":"2006","unstructured":"Jeffrey D: Test case prioritization using relevant slices. In In the Intl. Computer Software and Applications Conf. IEEE, Chicago,; 2006:411\u2013418."},{"issue":"2","key":"15_CR22","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1109\/TSE.2007.18","volume":"33","author":"D Jeffrey","year":"2007","unstructured":"Jeffrey D, Gupta R: Improving fault detection capability by selectively retaining test cases during test suite reduction. Software Eng IEEE Trans 2007,33(2):108\u2013123. 10.1109\/TSE.2007.18","journal-title":"Software Eng IEEE Trans"},{"key":"15_CR23","first-page":"233","volume-title":"Automated Software Engineering","author":"B Jiang","year":"2009","unstructured":"Jiang B, Zhang Z, Chan WK, Tse TH: Adaptive random test case prioritization. In Automated Software Engineering. IEEE, Auckland,; 2009:233\u2013244."},{"key":"15_CR24","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/1291535.1291539","volume-title":"Proceedings of the 3rd International Workshop on Advances in Model-based Testing A-MOST \u201907","author":"B Korel","year":"2007","unstructured":"Korel B, Koutsogiannakis G, Tahat LH: Model-based test prioritization heuristic methods and their evaluation. In Proceedings of the 3rd International Workshop on Advances in Model-based Testing A-MOST \u201907. ACM, New York, NY, USA,; 2007:34\u201343. 10.1145\/1291535.1291539"},{"key":"15_CR25","first-page":"247","volume-title":"IEEE International Conference on Software Maintenance","author":"G Koutsogiannakis","year":"2008","unstructured":"Koutsogiannakis G, Tahat LH: Korel, B: Application of system models in regression test suite prioritization. In IEEE International Conference on Software Maintenance. IEEE, Beijing,; 2008:247\u2013256."},{"key":"15_CR26","first-page":"559","volume-title":"Software Maintenance, 2005. ICSM\u201905. Proceedings of the 21st IEEE International Conference On","author":"B Korel","year":"2005","unstructured":"Korel B, Tahat LH, Harman M: Test prioritization using system models. In Software Maintenance, 2005. ICSM\u201905. Proceedings of the 21st IEEE International Conference On. IEEE, Budapest,; 2005:559\u2013568."},{"issue":"4","key":"15_CR27","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/stvr.407","volume":"19","author":"D Kundu","year":"2009","unstructured":"Kundu D, Sarma M, Samanta D, Mall R: System testing for object-oriented systems with test case prioritization. Softw Test Verif Reliab 2009,19(4):297\u2013333. 10.1002\/stvr.407","journal-title":"Softw Test Verif Reliab"},{"key":"15_CR28","volume-title":"Nonparametrics: Statistical Methods Based on Ranks. Holden-Day series in probability and statistics","author":"E Lehmann","year":"1975","unstructured":"Lehmann, E (1975) Nonparametrics: Statistical Methods Based on Ranks. Holden-Day series in probability and statistics. Holden-Day, San Francisco."},{"key":"15_CR29","volume-title":"Applied Statistics and Probability for Engineers","author":"DC Montgomery","year":"2003","unstructured":"Montgomery DC, Runger GC: Applied Statistics and Probability for Engineers. John Wiley and Sons, New York, NY, USA; 2003."},{"key":"15_CR30","volume-title":"An\u00e1lise comparativa entre t\u00e9cnicas de prioriza\u00e7\u00e3o geral de casos de teste no contexto do teste baseado em especifica\u00e7\u00e3o","author":"JFS Ouriques","year":"2012","unstructured":"Ouriques, JFS (January 2012) An\u00e1lise comparativa entre t\u00e9cnicas de prioriza\u00e7\u00e3o geral de casos de teste no contexto do teste baseado em especifica\u00e7\u00e3o. Master\u2019s thesis, UFCG."},{"key":"15_CR31","volume-title":"Proceedings of the IV Brazilian Workshop on Systematic and Automatic Software Testing (SAST 2010)","author":"JFS Ouriques","year":"2010","unstructured":"Ouriques JFS, Cartaxo E, Machado PDL: Comparando t\u00e9cnicas de prioriza\u00e7\u00e3o de casos de teste no contexto de teste baseado em modelos. In Proceedings of the IV Brazilian Workshop on Systematic and Automatic Software Testing (SAST 2010). UFRN, Natal; 2010."},{"key":"15_CR32","first-page":"134","volume-title":"Proceedings of XXVII Brazilian Symposium on Software Engineering,","author":"JFS Ouriques","year":"2013","unstructured":"Ouriques JFS, Cartaxo EG, Machado PDL: On the influence of model structure and test case profile on the prioritization of test cases in the context of model-based testing. In Proceedings of XXVII Brazilian Symposium on Software Engineering,. UnB, Brasilia,; 2013:134\u2013143."},{"key":"15_CR33","first-page":"179","volume-title":"Software Maintenance, 1999. (ICSM \u201999) Proceedings. IEEE International Conference On","author":"G Rothermel","year":"1999","unstructured":"Rothermel G, Untch RH, Chu C, Harrold MJ: Test case prioritization: an empirical study. In Software Maintenance, 1999. (ICSM \u201999) Proceedings. IEEE International Conference On. IEEE, Oxford,; 1999:179\u2013188."},{"key":"15_CR34","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1109\/32.962562","volume":"27","author":"RH Untch","year":"2001","unstructured":"Untch RH, Chu C, Harrold MJ: Rothermel, G: Prioritizing test cases for regression testing. IEEE Trans Software Eng 2001, 27: 929\u2013948. 10.1109\/32.962562","journal-title":"IEEE Trans Software Eng"},{"key":"15_CR35","volume-title":"Practical Model-Based Testing - A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting M, Legeard B: Practical Model-Based Testing - A Tools Approach. Morgan Kaufmann, San Francisco, CA, USA; 2007."},{"key":"15_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4625-2","volume-title":"Experimentation in Software Engineering: an Introduction","author":"C Wohlin","year":"2000","unstructured":"Wohlin C, Runeson P, Host M, Ohlsson MC, Regnell B, Wesslen A: Experimentation in Software Engineering: an Introduction. Kluwer Academic Publishers, Norwell, MA, USA; 2000."},{"key":"15_CR37","volume-title":"Experiments: Planning, Analysis, and Optimization","author":"CFJ Wu","year":"2009","unstructured":"Wu CFJ, Hamada MS: Experiments: Planning, Analysis, and Optimization. John Wiley and Sons, New York, NY, USA; 2009."},{"key":"15_CR38","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/1572272.1572296","volume-title":"Proceedings of the Eighteenth International Symposium on Software Testing and Analysis","author":"S Yoo","year":"2009","unstructured":"Yoo S, Harman M, Tonella P, Susi A (2009) Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge. In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis. ISSTA \u201909, New York, NY, USA, pp 201\u2013212"},{"key":"15_CR39","first-page":"208","volume-title":"IEEE 34th Annual COMPSACW","author":"ZQ Zhou","year":"2010","unstructured":"Zhou ZQ: Using coverage information to guide test case selection in adaptive random testing. In IEEE 34th Annual COMPSACW. IEEE, Seoul; 2010:208\u2013213."},{"key":"15_CR40","first-page":"5584","volume-title":"HICSS,","author":"ZQ Zhou","year":"2012","unstructured":"Zhou ZQ, Sinaga A, Susilo W: On the fault-detection capabilities of adaptive random test case prioritization: Case studies with large test suites. In HICSS,. IEEE, Maui,; 2012:5584\u20135593."}],"container-title":["Journal of Software Engineering Research and Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s40411-014-0015-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s40411-014-0015-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s40411-014-0015-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T20:14:08Z","timestamp":1651090448000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.jserd.com\/content\/3\/1\/1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,29]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["15"],"URL":"https:\/\/doi.org\/10.1186\/s40411-014-0015-5","relation":{},"ISSN":["2195-1721"],"issn-type":[{"value":"2195-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,29]]},"article-number":"1"}}