{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T15:24:48Z","timestamp":1761578688345,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031432392"},{"type":"electronic","value":"9783031432408"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-43240-8_14","type":"book-chapter","created":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T02:01:58Z","timestamp":1695002518000},"page":"219-236","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Prioritizing Test Cases with\u00a0Markov Chains: A Preliminary Investigation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5193-6218","authenticated-orcid":false,"given":"Luciana","family":"Rebelo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7262-7863","authenticated-orcid":false,"given":"\u00c9rica","family":"Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8071-1723","authenticated-orcid":false,"given":"Gian","family":"Berkenbrock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1147-2519","authenticated-orcid":false,"given":"Gerson","family":"Barbosa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6413-7888","authenticated-orcid":false,"given":"Marlon","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8737-1749","authenticated-orcid":false,"given":"Andr\u00e9","family":"Endo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9025-0841","authenticated-orcid":false,"given":"Nandamudi","family":"Vijaykumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7675-6942","authenticated-orcid":false,"given":"Catia","family":"Trubiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,19]]},"reference":[{"unstructured":"SATM: Simple Automatic Teller Machine. https:\/\/slideplayer.com\/slide\/3835819\/. Accessed 4 Oct 2022","key":"14_CR1"},{"key":"14_CR2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2022.106902","volume":"147","author":"G Barbosa","year":"2022","unstructured":"Barbosa, G., de Souza, \u00c9.F., dos Santos, L.B.R., da Silva, M., Balera, J.M., Vijaykumar, N.L.: A systematic literature review on prioritizing software test cases using Markov chains. Inf. Softw. Technol. 147, 106902 (2022)","journal-title":"Inf. Softw. Technol."},{"doi-asserted-by":"crossref","unstructured":"Bertolino, A., Miranda, B., Pietrantuono, R., Russo, S.: Adaptive coverage and operational profile-based testing for reliability improvement. In: International Conference on Software Engineering (ICSE), pp. 541\u2013551 (2017)","key":"14_CR3","DOI":"10.1109\/ICSE.2017.56"},{"issue":"5","key":"14_CR4","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1109\/TSE.2017.2785841","volume":"45","author":"M Bohme","year":"2019","unstructured":"Bohme, M., Pham, V.T., Roychoudhury, A.: Coverage-based Greybox fuzzing as Markov chain. IEEE Trans. Software Eng. 45(5), 489\u2013506 (2019)","journal-title":"IEEE Trans. Software Eng."},{"doi-asserted-by":"crossref","unstructured":"Bolch, G., Greiner, S., De Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications. John Wiley & Sons (2006)","key":"14_CR5","DOI":"10.1002\/0471791571"},{"key":"14_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45982-6","volume-title":"Markov Chains: Gibbs fields, Monte Carlo Simulation, and Queues","author":"P Br\u00e9maud","year":"2013","unstructured":"Br\u00e9maud, P.: Markov Chains: Gibbs fields, Monte Carlo Simulation, and Queues, vol. 31. Springer, New York (2013). https:\/\/doi.org\/10.1007\/978-3-030-45982-6"},{"issue":"14","key":"14_CR7","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1016\/S0950-5849(02)00108-8","volume":"44","author":"KY Cai","year":"2002","unstructured":"Cai, K.Y.: Optimal software testing and adaptive software testing in the context of software cybernetics. Inf. Softw. Technol. 44(14), 841\u2013855 (2002)","journal-title":"Inf. Softw. Technol."},{"doi-asserted-by":"crossref","unstructured":"Camilli, M., Gargantini, A., Scandurra, P., Trubiani, C.: Uncertainty-aware exploration in model-based testing. In: IEEE Conference on Software Testing, Verification and Validation (ICST), pp. 71\u201381 (2021)","key":"14_CR8","DOI":"10.1109\/ICST49551.2021.00019"},{"doi-asserted-by":"crossref","unstructured":"Cruciani, E., Miranda, B., Verdecchia, R., Bertolino, A.: Scalable approaches for test suite reduction. In: Proceedings of the International Conference on Software Engineering (ICSE), pp. 419\u2013429 (2019)","key":"14_CR9","DOI":"10.1109\/ICSE.2019.00055"},{"issue":"1","key":"14_CR10","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s10270-015-0479-8","volume":"16","author":"X Devroey","year":"2015","unstructured":"Devroey, X., et al.: Statistical prioritization for software product line testing: an experience report. Softw. Syst. Model. 16(1), 153\u2013171 (2015)","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"14_CR11","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1109\/32.988497","volume":"28","author":"S Elbaum","year":"2002","unstructured":"Elbaum, S., Malishevsky, A.G., Rothermel, G.: Test case prioritization: a family of empirical studies. IEEE Trans. Software Eng. 28(2), 159\u2013182 (2002)","journal-title":"IEEE Trans. Software Eng."},{"doi-asserted-by":"crossref","unstructured":"Everett, G.D., McLeod Jr., R.: Software Testing. Testing Across the Entire (2007)","key":"14_CR12","DOI":"10.1002\/9780470146354"},{"unstructured":"Ferreira, A.R.: An\u00e1lise e Melhoria de Processos, p. 59 (2013)","key":"14_CR13"},{"doi-asserted-by":"crossref","unstructured":"Gagniuc, P.A.: Markov Chains: From Theory to Implementation and Experimentation. Wiley (2017)","key":"14_CR14","DOI":"10.1002\/9781119387596"},{"doi-asserted-by":"crossref","unstructured":"Jorgensen, P.C.: Software Testing: A Craftsman\u2019s Approach. Auerbach Publications (2013)","key":"14_CR15","DOI":"10.1201\/9781439889503"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/j.procir.2016.11.172","volume":"61","author":"W Juntao","year":"2017","unstructured":"Juntao, W., Mishima, N.: Development of resource efficiency index for electrical and electronic equipment. Procedia CIRP 61, 275\u2013280 (2017)","journal-title":"Procedia CIRP"},{"issue":"14","key":"14_CR17","first-page":"13","volume":"46","author":"A Kashyap","year":"2012","unstructured":"Kashyap, A., Holzer, T., Sarkani, S., Eveleigh, T.: Model based testing for software systems: an application of Markov modulated Markov process. Int. J. Comput. Appl. 46(14), 13\u201320 (2012)","journal-title":"Int. J. Comput. Appl."},{"issue":"5","key":"14_CR18","first-page":"1839","volume":"3","author":"A Kaur","year":"2011","unstructured":"Kaur, A., Goyal, S.: A genetic algorithm for regression test case prioritization using code coverage. Int. J. Comput. Sci. Eng. 3(5), 1839\u20131847 (2011)","journal-title":"Int. J. Comput. Sci. Eng."},{"doi-asserted-by":"crossref","unstructured":"Konsaard, P., Ramingwong, L.: Total coverage based regression test case prioritization using genetic algorithm. In: 2015 12th International Conference on Electrical Engineering\/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON), pp. 1\u20136. IEEE (2015)","key":"14_CR19","DOI":"10.1109\/ECTICon.2015.7207103"},{"issue":"8","key":"14_CR20","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - a survey. Proc. IEEE 84(8), 1090\u20131123 (1996)","journal-title":"Proc. IEEE"},{"doi-asserted-by":"crossref","unstructured":"Miranda, B., Cruciani, E., Verdecchia, R., Bertolino, A.: FAST approaches to scalable similarity-based test case prioritization. In: Proceedings of the International Conference on Software Engineering (ICSE), pp. 222\u2013232 (2018)","key":"14_CR21","DOI":"10.1145\/3180155.3180210"},{"doi-asserted-by":"crossref","unstructured":"Morozov, A., Ding, K., Chen, T., Janschek, K.: Test suite prioritization for efficient regression testing of model-based automotive software. In: 2017 International Conference on Software Analysis, Testing and Evolution (SATE), pp. 20\u201329 (2017)","key":"14_CR22","DOI":"10.1109\/SATE.2017.11"},{"issue":"3","key":"14_CR23","first-page":"500","volume":"2","author":"K Muthyala","year":"2011","unstructured":"Muthyala, K., Naidu, R.: A novel approach to test suite reduction using data mining approach. Indian J. Comput. Sci. Eng. 2(3), 500\u2013505 (2011)","journal-title":"Indian J. Comput. Sci. Eng."},{"issue":"4","key":"14_CR24","doi-asserted-by":"publisher","first-page":"1451","DOI":"10.1007\/s11219-017-9398-y","volume":"26","author":"JFS Ouriques","year":"2018","unstructured":"Ouriques, J.F.S., Cartaxo, E.G., Machado, P.D.: Test case prioritization techniques for model-based testing: a replicated study. Software Qual. J. 26(4), 1451\u20131482 (2018)","journal-title":"Software Qual. J."},{"doi-asserted-by":"crossref","unstructured":"Ozawa, M., Dohi, T., Okamura, H.: How do software metrics affect test case prioritization? In: Annual Computer Software and Applications Conference (COMPSAC), vol. 01, pp. 245\u2013250 (2018)","key":"14_CR25","DOI":"10.1109\/COMPSAC.2018.00038"},{"unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley (2014)","key":"14_CR26"},{"unstructured":"Raiyani, A.G., Pandya, S.S.: Proritization technique for minimizing number of test cases. Int. J. Softw. Eng. Res. Pract. 1, 3\u20139 (2011)","key":"14_CR27"},{"key":"14_CR28","volume-title":"Numerical Methods for Large Eigenvalue Problems","author":"Y Saad","year":"1992","unstructured":"Saad, Y.: Numerical Methods for Large Eigenvalue Problems. Manchester University Press, Manchester (1992)"},{"doi-asserted-by":"crossref","unstructured":"Sayyari, F., Emadi, S.: Automated generation of software testing path based on ant colony. In: 2015 International Congress on Technology, Communication and Knowledge (ICTCK), pp. 435\u2013440. IEEE, November 2015","key":"14_CR29","DOI":"10.1109\/ICTCK.2015.7582709"},{"key":"14_CR30","doi-asserted-by":"publisher","first-page":"181","DOI":"10.4236\/jsea.2011.43020","volume":"4","author":"LK Singh","year":"2011","unstructured":"Singh, L.K., Tripathi, A.K., Vinod, G.: Software reliability early prediction in architectural design phase: overview and limitations. J. Softw. Eng. Appl. 4, 181\u2013186 (2011)","journal-title":"J. Softw. Eng. Appl."},{"key":"14_CR31","volume-title":"Stochastic Models: An Algorithmic Approach","author":"HC Tijms","year":"1994","unstructured":"Tijms, H.C., Tijms, H.C.: Stochastic Models: An Algorithmic Approach, vol. 303. Wiley, New York (1994)"},{"doi-asserted-by":"crossref","unstructured":"Walton, G., Poore, J.: Measuring complexity and coverage of software specifications. Inf. Softw. Technol. 42(12), 859\u2013872 (2000)","key":"14_CR32","DOI":"10.1016\/S0950-5849(00)00102-6"},{"issue":"10","key":"14_CR33","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"JA Whittaker","year":"1994","unstructured":"Whittaker, J.A., Thomason, M.G.: A Markov chain model for statistical software testing. IEEE Trans. Software Eng. 20(10), 812\u2013824 (1994)","journal-title":"IEEE Trans. Software Eng."},{"unstructured":"Xuan, J., Jiang, H., Ren, Z., Hu, Y., Luo, Z.: A random walk based algorithm for structural test case generation. In: The 2nd International Conference on Software Engineering and Data Mining, pp. 583\u2013588 (2010)","key":"14_CR34"},{"issue":"2","key":"14_CR35","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/stv.430","volume":"22","author":"S Yoo","year":"2012","unstructured":"Yoo, S., Harman, M.: Regression testing minimization, selection and prioritization: a survey. Softw. Test. Verification Reliab. 22(2), 67\u2013120 (2012)","journal-title":"Softw. Test. Verification Reliab."},{"doi-asserted-by":"crossref","unstructured":"Zhou, B., Okamura, H., Dohi, T.: Application of Markov chain Monte Carlo random testing to test case prioritization in regression testing. IEICE Trans. Inf. Syst. E95.D(9), 2219\u20132226 (2012)","key":"14_CR36","DOI":"10.1587\/transinf.E95.D.2219"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-43240-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T07:05:28Z","timestamp":1695020728000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-43240-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031432392","9783031432408"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-43240-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"19 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Testing Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bergamo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"35","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pts2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ictss-2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EquinOCS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"56","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1 Journal first","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}