A Systematic Literature Review on prioritizing software test cases using Markov chains

Software Testing is a costly activity since the size of the test case set tends to increase as the construction of the software evolves. Test Case Prioritization (TCP) can reduce the effort and cost of software testing. TCP is an activity where a subset of the existing test cases is selected in orde...

Full description

Saved in:
Bibliographic Details
Published inInformation and software technology Vol. 147; p. 106902
Main Authors Barbosa, Gerson, de Souza, Érica Ferreira, dos Santos, Luciana Brasil Rebelo, da Silva, Marlon, Balera, Juliana Marino, Vijaykumar, Nandamudi Lankalapalli
Format Journal Article
LanguageEnglish
Published Elsevier B.V 01.07.2022
Subjects
Online AccessGet full text

Cover

Loading…
Abstract Software Testing is a costly activity since the size of the test case set tends to increase as the construction of the software evolves. Test Case Prioritization (TCP) can reduce the effort and cost of software testing. TCP is an activity where a subset of the existing test cases is selected in order to maximize the possibility of finding defects. On the other hand, Markov Chains representing a reactive system, when solved, can present the occupation time of each of their states. The idea is to use such information and associate priority to those test cases that consist of states with the highest probabilities. The objective of this paper is to conduct a survey to identify and understand key initiatives for using Markov Chains in TCP. Aspects such as approaches, developed techniques, programming languages, analytical and simulation results, and validation tests are investigated. A Systematic Literature Review (SLR) was conducted considering studies published up to July 2021 from five different databases to answer the three research questions. From SLR, we identified 480 studies addressing Markov Chains in TCP that have been reviewed in order to extract relevant information on a set of research questions. The final 12 studies analyzed use Markov Chains at some stage of test case prioritization in a distinct way, that is, we found that there is no strong relationship between any of the studies, not only on how the technique was used but also in the context of the application. Concerning the fields of application of this subject, 6 forms of approach were found: Controlled Markov Chain, Usage Model, Model-Based Test, Regression Test, Statistical Test, and Random Test. This demonstrates the versatility and robustness of the tool. A large part of the studies developed some prioritization tool, being its validation done in some cases analytically and in others numerically, such as: Measure of the software specification, Optimal Test Transition Probabilities, Adaptive Software Testing, Automatic Prioritization, Ant Colony Optimization, Model Driven approach, and Monte Carlo Random Testing. •Software Testing is a costly activity since the size of the test case set tends to increase as the construction of the software evolves.•Test Case Prioritization can reduce the effort and cost of software testing.•Markov Chains can be efficiently used in Test Case Prioritization.
AbstractList Software Testing is a costly activity since the size of the test case set tends to increase as the construction of the software evolves. Test Case Prioritization (TCP) can reduce the effort and cost of software testing. TCP is an activity where a subset of the existing test cases is selected in order to maximize the possibility of finding defects. On the other hand, Markov Chains representing a reactive system, when solved, can present the occupation time of each of their states. The idea is to use such information and associate priority to those test cases that consist of states with the highest probabilities. The objective of this paper is to conduct a survey to identify and understand key initiatives for using Markov Chains in TCP. Aspects such as approaches, developed techniques, programming languages, analytical and simulation results, and validation tests are investigated. A Systematic Literature Review (SLR) was conducted considering studies published up to July 2021 from five different databases to answer the three research questions. From SLR, we identified 480 studies addressing Markov Chains in TCP that have been reviewed in order to extract relevant information on a set of research questions. The final 12 studies analyzed use Markov Chains at some stage of test case prioritization in a distinct way, that is, we found that there is no strong relationship between any of the studies, not only on how the technique was used but also in the context of the application. Concerning the fields of application of this subject, 6 forms of approach were found: Controlled Markov Chain, Usage Model, Model-Based Test, Regression Test, Statistical Test, and Random Test. This demonstrates the versatility and robustness of the tool. A large part of the studies developed some prioritization tool, being its validation done in some cases analytically and in others numerically, such as: Measure of the software specification, Optimal Test Transition Probabilities, Adaptive Software Testing, Automatic Prioritization, Ant Colony Optimization, Model Driven approach, and Monte Carlo Random Testing. •Software Testing is a costly activity since the size of the test case set tends to increase as the construction of the software evolves.•Test Case Prioritization can reduce the effort and cost of software testing.•Markov Chains can be efficiently used in Test Case Prioritization.
ArticleNumber 106902
Author da Silva, Marlon
Barbosa, Gerson
de Souza, Érica Ferreira
Vijaykumar, Nandamudi Lankalapalli
dos Santos, Luciana Brasil Rebelo
Balera, Juliana Marino
Author_xml – sequence: 1
  givenname: Gerson
  orcidid: 0000-0002-1147-2519
  surname: Barbosa
  fullname: Barbosa, Gerson
  email: gerson.barbosa@unesp.br, gerson.barbosa@inpe.br
  organization: Universidade Estadual Paulista (UNESP), Guaratinguetá, Brazil
– sequence: 2
  givenname: Érica Ferreira
  surname: de Souza
  fullname: de Souza, Érica Ferreira
  email: ericasouza@utfpr.edu.br
  organization: Universidade Tecnológica Federal do Paraná (UTFPR), Cornélio Procópio, Brazil
– sequence: 3
  givenname: Luciana Brasil Rebelo
  orcidid: 0000-0002-5193-6218
  surname: dos Santos
  fullname: dos Santos, Luciana Brasil Rebelo
  email: lurebelo@ifsp.edu.br
  organization: Instituto Federal de Educação, Ciência e Tecnologia de São Paulo (IFSP), Jacareí, Brazil
– sequence: 4
  givenname: Marlon
  orcidid: 0000-0002-6413-7888
  surname: da Silva
  fullname: da Silva, Marlon
  email: marlon.silva@ifsp.edu.br
  organization: Instituto Federal de Educação, Ciência e Tecnologia de São Paulo (IFSP), Campos do Jordão, Brazil
– sequence: 5
  givenname: Juliana Marino
  orcidid: 0000-0001-6481-5362
  surname: Balera
  fullname: Balera, Juliana Marino
  email: juliana.balera@inpe.br
  organization: Instituto Nacional de Pesquisas Espaciais (INPE), São José dos Campos, Brazil
– sequence: 6
  givenname: Nandamudi Lankalapalli
  orcidid: 0000-0002-9025-0841
  surname: Vijaykumar
  fullname: Vijaykumar, Nandamudi Lankalapalli
  email: vijay.nl@inpe.br
  organization: Instituto Nacional de Pesquisas Espaciais (INPE), São José dos Campos, Brazil
BookMark eNp9kN1KAzEQhYNUsK2-gRd5ga352c1uboRS1AoVwb_bkM1ONNVuJElb6tObsl57NTCHc-abM0Gj3veA0CUlM0qouFrPXG-jtzNGGMsrIQk7QWPa1LwQhFUjNCayIkXVlPIMTWJcE0JrwskYvc3x8yEm2OjkDF65BEGnbQD8BDsHe-x7_B2cDy65H9e_43wl7XXWE8SEjY4Q8TYelQcdPv0Omw_t-niOTq3-inDxN6fo9fbmZbEsVo9394v5qjCciJSBqG4YqUttpJSl7FqW4cGwhsrWGsFrbWvelIZa3uqqBiOFYF3HdduWknE-ReWQa4KPMYBVmXajw0FRoo7dqLUaulHHbtTQTbZdDzbIbPnPoKJx0BvoXACTVOfd_wG_FAJyBw
CitedBy_id crossref_primary_10_1145_3616372
crossref_primary_10_1080_1206212X_2023_2273585
crossref_primary_10_3390_su15064811
crossref_primary_10_1007_s10668_023_03657_4
crossref_primary_10_1007_s00500_023_08382_8
Cites_doi 10.1016/j.infsof.2004.07.006
10.1109/5.533956
10.2307/2529310
10.4028/www.scientific.net/AMR.433-440.4691
10.1016/S0164-1212(99)00084-9
10.1587/transinf.E95.D.2219
10.1007/s11219-015-9300-8
10.1016/j.infsof.2017.08.014
10.1016/S0950-5849(02)00108-8
10.1007/s11219-012-9181-z
10.1145/1497308.1497375
10.1109/TC.2018.2866040
10.1002/stvr.1572
10.1016/0167-6423(87)90035-9
10.1145/1291535.1291539
10.1504/IJWET.2014.063041
10.3906/elk-1209-109
10.1016/S0166-5316(99)00052-8
10.5220/0006527900990110
10.1109/ICSM.1999.792604
10.1007/s13198-014-0237-2
10.1109/32.988497
10.1109/32.328991
10.1007/s10270-015-0479-8
10.1016/S0950-5849(00)00102-6
10.1007/s11219-014-9265-z
10.1016/j.infsof.2013.01.001
ContentType Journal Article
Copyright 2022 Elsevier B.V.
Copyright_xml – notice: 2022 Elsevier B.V.
DBID AAYXX
CITATION
DOI 10.1016/j.infsof.2022.106902
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Business
EISSN 1873-6025
ExternalDocumentID 10_1016_j_infsof_2022_106902
S0950584922000623
GroupedDBID --K
--M
-~X
.DC
.~1
0R~
1B1
1~.
1~5
29I
4.4
457
4G.
5GY
5VS
7-5
71M
77K
8P~
9JN
AABNK
AACTN
AAEDT
AAEDW
AAIAV
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AAXUO
AAYFN
AAYOK
ABBOA
ABFNM
ABFRF
ABJNI
ABMAC
ABTAH
ABXDB
ABYKQ
ACDAQ
ACGFO
ACGFS
ACGOD
ACNNM
ACRLP
ACZNC
ADBBV
ADEZE
ADJOM
ADMUD
AEBSH
AEFWE
AEKER
AENEX
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHHHB
AHZHX
AIALX
AIEXJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
ASPBG
AVWKF
AXJTR
AZFZN
BKOJK
BKOMP
BLXMC
CS3
DU5
EBS
EFJIC
EFLBG
EJD
EO8
EO9
EP2
EP3
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-Q
G8K
GBLVA
GBOLZ
HLZ
HVGLF
HZ~
IHE
J1W
KOM
LG9
M41
MO0
MS~
N9A
O-L
O9-
OAUVE
OZT
P-8
P-9
P2P
PC.
PQQKQ
Q38
R2-
RIG
ROL
RPZ
SBC
SDF
SDG
SDP
SES
SEW
SPC
SPCBC
SSV
SSZ
T5K
TWZ
UHS
UNMZH
WH7
WUQ
XFK
ZY4
~G-
AAXKI
AAYXX
AFJKZ
AKRWK
CITATION
ID FETCH-LOGICAL-c306t-581a82074ac99949db2069ec2819bfc637af7384c1f3ba57ec9662dd3abb49233
IEDL.DBID .~1
ISSN 0950-5849
IngestDate Thu Sep 26 16:45:45 EDT 2024
Fri Feb 23 02:40:56 EST 2024
IsPeerReviewed true
IsScholarly true
Keywords Test case prioritization
Markov Chains
Systematic Literature Review
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c306t-581a82074ac99949db2069ec2819bfc637af7384c1f3ba57ec9662dd3abb49233
ORCID 0000-0002-1147-2519
0000-0002-9025-0841
0000-0002-6413-7888
0000-0002-5193-6218
0000-0001-6481-5362
ParticipantIDs crossref_primary_10_1016_j_infsof_2022_106902
elsevier_sciencedirect_doi_10_1016_j_infsof_2022_106902
PublicationCentury 2000
PublicationDate July 2022
2022-07-00
PublicationDateYYYYMMDD 2022-07-01
PublicationDate_xml – month: 07
  year: 2022
  text: July 2022
PublicationDecade 2020
PublicationTitle Information and software technology
PublicationYear 2022
Publisher Elsevier B.V
Publisher_xml – name: Elsevier B.V
References Baier, Katoen (b2) 2008
Gökçe, Belli, Eminli, Dincer (b24) 2015; 23
Muthyala, Naidu (b32) 2011; 2
Sun, Dai, Liu, Chen, Cai (b40) 2018; 68
Khatibsyarbini, Isa, Jawawi, Tumeng (b6) 2018; 93
Landis, Koch (b38) 1977
Kashyap, Roberts, Sarkani, Mazzuchi (b48) 2012
(b1) 1990
A.O. Arantes, N.L. Vijaykumar, V.A. de Santiago Junior, D. Guimarães, WEB-PerformCharts: a collaborative web-based tool for test case generation from Statecharts, in: Proceedings of the 10th International Conference on Information Integration and Web-Based Applications & Services, 2008, pp. 374–381.
Harel (b57) 1987; 8
Di Nardo, Alshahwan, Briand, Labiche (b9) 2015; 25
D.A. Karras, R.C. Papademetriou, A systematic review of analytical management techniques in business process modelling for SMEs beyond what-if-analysis and towards a framework for integrating them with BPM, in: Proceedings of the Seventh International Symposium on Business Modeling and Software Design – BMSD, 2017, pp. 99–110.
Cai (b43) 2002; 44
B. Korel, G. Koutsogiannakis, L.H. Tahat, Model-based test prioritization heuristic methods and their evaluation, in: Proceedings of the 3rd International Workshop on Advances in Model-Based Testing, 2007, pp. 34–43.
Dorigo, Socha (b52) 2006
Kashyap, Holzer, Sarkani, Eveleigh (b25) 2012; 46
Odumuyiwa, Osisiogu (b63) 2019
Gutjahr (b42) 2000; 40
Souza, Santiago Júnior, Guimaraes, Vijaykumar (b58) 2008
Siegl, Hielscher, German, Berger (b26) 2011
Pai, McCulloch, Gorman, Pai, Enanoria, Kennedy, Tharyan, Colford (b35) 2004; 17
Dyba, Dingsoyr, Hanssen (b37) 2007
Lee, Yannakakis (b21) 1996; 84
Morozov, Ding, Chen, Janschek (b17) 2017
Tijms (b19) 2003
Souza, Santiago Júnior, Vijaykumar (b60) 2017; 25
G. Rothermel, R.H. Untch, C. Chu, M.J. Harrold, Test case prioritization: an empirical study, in: Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM’99). ’software Maintenance for Business Change’ (Cat. No.99CB36360), 1999, pp. 179–188.
Biolchini, Mian, Natali, Travassos (b36) 2005
Walton, Poore (b16) 2000; 42
Devroey, Perrouin, Cordy, Samih, Legay, Schobbens, Heymans (b46) 2015; 16
Nejad, Akbari, Dejam (b7) 2016
Raiyani, Pandya (b31) 2011; 1
Kitchenham, Charters (b34) 2007
Cinlar (b20) 1975
Coutinho, Cartaxo, de Lima Machado (b29) 2016; 24
Elbaum, Malishevsky, Rothermel (b23) 2002; 28
Sayyari, Emadi (b47) 2015
Di Nardo, Alshahwan, Briand, Labiche (b10) 2013
Zhou, Jin, Zhang, Li, Huang (b62) 2016
Yan, Deng, Ji (b49) 2012; 433–440
Morozov, Tuk, Janschek (b54) 2015
Lin, Xue, Song (b41) 2017
K.-Y. Cai, Optimal test profile in the context of software cybernetics, in: Proceedings Second Asia-Pacific Conference on Quality Software, 2001, pp. 157–166.
Al-tekreeti, Naik, Abdrabou, Zaman, Srivastava (b39) 2018
Lou, Hao, Zhang (b8) 2015
Roongruangsuwan, Daengdej (b33) 2010
Santiago, Vijaykumar, Guimarães, Amaral, Ferreira (b56) 2008
Cai, Li, Liu (b44) 2004; 46
Whittaker, Thomason (b13) 1994; 20
Catal, Mishra (b5) 2013; 21
Regnell, Runeson, Wohlin (b53) 2000; 50
Briand, Labiche, Wang (b28) 2004
Arantes, Santiago Júnior, Vijaykumar, Souza (b59) 2014; 9
Cai (b14) 2011; 1
Tijms, Tijms (b18) 1994
Khatri, Kaur, Datta (b15) 2015; 6
Zhou, Okamura, Dohi (b50) 2012; E95.D
M. Delamaro, J. Maldonado, M. Jino, Introdução ao Teste de Software, Rio de Janeiro, RJ, 2007.
Endo, Simao (b30) 2013; 55
Mariano, Souza, Endo, Vijaykumar (b61) 2020; 1
Mathur (b4) 2012
Saad (b22) 1992
Gibbons (b51) 1985
Brémaud (b27) 2013
Souza (10.1016/j.infsof.2022.106902_b60) 2017; 25
Gökçe (10.1016/j.infsof.2022.106902_b24) 2015; 23
Santiago (10.1016/j.infsof.2022.106902_b56) 2008
Muthyala (10.1016/j.infsof.2022.106902_b32) 2011; 2
Arantes (10.1016/j.infsof.2022.106902_b59) 2014; 9
Zhou (10.1016/j.infsof.2022.106902_b62) 2016
10.1016/j.infsof.2022.106902_b64
Raiyani (10.1016/j.infsof.2022.106902_b31) 2011; 1
Roongruangsuwan (10.1016/j.infsof.2022.106902_b33) 2010
Souza (10.1016/j.infsof.2022.106902_b58) 2008
Khatibsyarbini (10.1016/j.infsof.2022.106902_b6) 2018; 93
Tijms (10.1016/j.infsof.2022.106902_b19) 2003
Lin (10.1016/j.infsof.2022.106902_b41) 2017
Regnell (10.1016/j.infsof.2022.106902_b53) 2000; 50
Cinlar (10.1016/j.infsof.2022.106902_b20) 1975
Biolchini (10.1016/j.infsof.2022.106902_b36) 2005
Endo (10.1016/j.infsof.2022.106902_b30) 2013; 55
Zhou (10.1016/j.infsof.2022.106902_b50) 2012; E95.D
Kitchenham (10.1016/j.infsof.2022.106902_b34) 2007
(10.1016/j.infsof.2022.106902_b1) 1990
Cai (10.1016/j.infsof.2022.106902_b44) 2004; 46
10.1016/j.infsof.2022.106902_b12
10.1016/j.infsof.2022.106902_b11
10.1016/j.infsof.2022.106902_b55
Kashyap (10.1016/j.infsof.2022.106902_b25) 2012; 46
Di Nardo (10.1016/j.infsof.2022.106902_b10) 2013
Elbaum (10.1016/j.infsof.2022.106902_b23) 2002; 28
Lee (10.1016/j.infsof.2022.106902_b21) 1996; 84
Khatri (10.1016/j.infsof.2022.106902_b15) 2015; 6
Gutjahr (10.1016/j.infsof.2022.106902_b42) 2000; 40
Cai (10.1016/j.infsof.2022.106902_b14) 2011; 1
Mariano (10.1016/j.infsof.2022.106902_b61) 2020; 1
Odumuyiwa (10.1016/j.infsof.2022.106902_b63) 2019
Harel (10.1016/j.infsof.2022.106902_b57) 1987; 8
Catal (10.1016/j.infsof.2022.106902_b5) 2013; 21
Al-tekreeti (10.1016/j.infsof.2022.106902_b39) 2018
Sun (10.1016/j.infsof.2022.106902_b40) 2018; 68
Morozov (10.1016/j.infsof.2022.106902_b54) 2015
Baier (10.1016/j.infsof.2022.106902_b2) 2008
Sayyari (10.1016/j.infsof.2022.106902_b47) 2015
Whittaker (10.1016/j.infsof.2022.106902_b13) 1994; 20
10.1016/j.infsof.2022.106902_b45
Dorigo (10.1016/j.infsof.2022.106902_b52) 2006
Di Nardo (10.1016/j.infsof.2022.106902_b9) 2015; 25
Pai (10.1016/j.infsof.2022.106902_b35) 2004; 17
Saad (10.1016/j.infsof.2022.106902_b22) 1992
Yan (10.1016/j.infsof.2022.106902_b49) 2012; 433–440
Mathur (10.1016/j.infsof.2022.106902_b4) 2012
Gibbons (10.1016/j.infsof.2022.106902_b51) 1985
Nejad (10.1016/j.infsof.2022.106902_b7) 2016
Siegl (10.1016/j.infsof.2022.106902_b26) 2011
Kashyap (10.1016/j.infsof.2022.106902_b48) 2012
10.1016/j.infsof.2022.106902_b3
Morozov (10.1016/j.infsof.2022.106902_b17) 2017
Lou (10.1016/j.infsof.2022.106902_b8) 2015
Tijms (10.1016/j.infsof.2022.106902_b18) 1994
Briand (10.1016/j.infsof.2022.106902_b28) 2004
Devroey (10.1016/j.infsof.2022.106902_b46) 2015; 16
Cai (10.1016/j.infsof.2022.106902_b43) 2002; 44
Landis (10.1016/j.infsof.2022.106902_b38) 1977
Dyba (10.1016/j.infsof.2022.106902_b37) 2007
Walton (10.1016/j.infsof.2022.106902_b16) 2000; 42
Brémaud (10.1016/j.infsof.2022.106902_b27) 2013
Coutinho (10.1016/j.infsof.2022.106902_b29) 2016; 24
References_xml – start-page: 610
  year: 1990
  end-page: 612
  ident: b1
  article-title: Standard Glossary of Software Engineering Terminology, IEEE Software Engineering Standards & ollection
– volume: 8
  start-page: 231
  year: 1987
  end-page: 274
  ident: b57
  article-title: Statecharts: A visual formalism for complex systems
  publication-title: Sci. Comput. Program.
  contributor:
    fullname: Harel
– volume: 28
  start-page: 159
  year: 2002
  end-page: 182
  ident: b23
  article-title: Test case prioritization: A family of empirical studies
  publication-title: IEEE Trans. Softw. Eng.
  contributor:
    fullname: Rothermel
– volume: 1
  year: 2011
  ident: b31
  article-title: Proritization technique for minimizing number of test cases
  publication-title: Int. J. Softw. Eng. Res. Pract.
  contributor:
    fullname: Pandya
– start-page: 142
  year: 2016
  end-page: 147
  ident: b7
  article-title: Using memetic algorithms for test case prioritization in model based software testing
  publication-title: 2016 1st Conference on Swarm Intelligence and Evolutionary Computation (CSIEC)
  contributor:
    fullname: Dejam
– year: 2005
  ident: b36
  article-title: Systematic Review in Software Engineering
  contributor:
    fullname: Travassos
– start-page: 20
  year: 2017
  end-page: 29
  ident: b17
  article-title: Test suite prioritization for efficient regression testing of model-based automotive software
  publication-title: 2017 International Conference on Software Analysis, Testing and Evolution (SATE)
  contributor:
    fullname: Janschek
– volume: 93
  start-page: 74
  year: 2018
  end-page: 93
  ident: b6
  article-title: Test case prioritization approaches in regression testing: A systematic literature review
  publication-title: Inf. Softw. Technol.
  contributor:
    fullname: Tumeng
– start-page: 462
  year: 2017
  end-page: -466
  ident: b41
  article-title: A simpler and more direct derivation of system reliability using markov chain usage models
  publication-title: Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering
  contributor:
    fullname: Song
– volume: 9
  start-page: 62
  year: 2014
  end-page: 96
  ident: b59
  article-title: Tool support for generating model-based test cases via web
  publication-title: Int. J. Web Eng. Technol. IiWAS
  contributor:
    fullname: Souza
– start-page: 153
  year: 2016
  end-page: 160
  ident: b62
  article-title: A map of threats to validity of systematic literature reviews in software engineering
  publication-title: 23rd Asia-Pacific Software Engineering Conferencees
  contributor:
    fullname: Huang
– year: 1994
  ident: b18
  article-title: Stochastic Models: An Algorithmic Approach, Vol. 303
  contributor:
    fullname: Tijms
– year: 2008
  ident: b2
  article-title: Principles of Model Checking
  contributor:
    fullname: Katoen
– start-page: 225
  year: 2007
  end-page: 234
  ident: b37
  article-title: Applying systematic reviews to diverse study types: An experience report
  publication-title: International Symposium on Empirical Software Engineering and Measurement
  contributor:
    fullname: Hanssen
– start-page: 435
  year: 2015
  end-page: 440
  ident: b47
  article-title: Automated generation of software testing path based on ant colony
  publication-title: 2015 International Congress on Technology, Communication and Knowledge (ICTCK)
  contributor:
    fullname: Emadi
– start-page: 59
  year: 2015
  end-page: 60
  ident: b54
  article-title: ErrorPro: Software tool for stochastic error propagation analysis
  publication-title: 1st International Workshop on Resiliency in Embedded Electronic Systems, Amsterdam, the Netherlands
  contributor:
    fullname: Janschek
– volume: 68
  start-page: 157
  year: 2018
  end-page: 169
  ident: b40
  article-title: Adaptive partition testing
  publication-title: IEEE Trans. Comput.
  contributor:
    fullname: Cai
– year: 2012
  ident: b4
  article-title: Foundations of Software Testing, Seventh Impression
  contributor:
    fullname: Mathur
– year: 1992
  ident: b22
  article-title: Numerical Methods for Large Eigenvalue Problems
  contributor:
    fullname: Saad
– volume: 23
  start-page: 623
  year: 2015
  end-page: 640
  ident: b24
  article-title: Model-based test case prioritization using cluster analysis: a soft-computing approach
  publication-title: Turk. J. Electr. Eng. Comput. Sci.
  contributor:
    fullname: Dincer
– volume: 24
  start-page: 407
  year: 2016
  end-page: 445
  ident: b29
  article-title: Analysis of distance functions for similarity-based test suite reduction in the context of model-based testing
  publication-title: Softw. Qual. J.
  contributor:
    fullname: de Lima Machado
– volume: 16
  start-page: 153
  year: 2015
  end-page: 171
  ident: b46
  article-title: Statistical prioritization for software product line testing: an experience report
  publication-title: Softw. Syst. Model.
  contributor:
    fullname: Heymans
– volume: 25
  start-page: 373
  year: 2017
  end-page: 405
  ident: b60
  article-title: H-Switch Cover: a new test criterion to generate test case from finite state machines
  publication-title: Softw. Qual. J.
  contributor:
    fullname: Vijaykumar
– year: 2007
  ident: b34
  article-title: Guidelines for performing Systematic Literature Reviews in Software Engineering
  contributor:
    fullname: Charters
– start-page: 86
  year: 2004
  end-page: 95
  ident: b28
  article-title: Using simulation to empirically investigate test coverage criteria based on statechart
  publication-title: Proceedings. 26th International Conference on Software Engineering
  contributor:
    fullname: Wang
– year: 2013
  ident: b27
  article-title: Markov Chains: Gibbs Fields, Monte Carlo Simulation, and Queues, Vol. 31
  contributor:
    fullname: Brémaud
– start-page: 1
  year: 2019
  end-page: 7
  ident: b63
  article-title: A systematic review on hidden Markov models for sentiment analysis
  publication-title: 2019 15th International Conference on Electronics, Computer and Computation (ICECCO)
  contributor:
    fullname: Osisiogu
– volume: 40
  start-page: 199
  year: 2000
  end-page: 222
  ident: b42
  article-title: Software dependability evaluation based on Markov usage models
  publication-title: Perform. Eval.
  contributor:
    fullname: Gutjahr
– start-page: 1
  year: 2012
  end-page: 7
  ident: b48
  article-title: A model driven approach for system validation
  publication-title: 2012 IEEE International Systems Conference SysCon 2012
  contributor:
    fullname: Mazzuchi
– volume: 1
  start-page: 38
  year: 2011
  end-page: 59
  ident: b14
  article-title: A controlled Markov chains approach to software testing
  publication-title: Softw. Eng.: Int. J. (SeiJ)
  contributor:
    fullname: Cai
– year: 2006
  ident: b52
  article-title: An introduction to ant colony optimization
  publication-title: Handbook of Metaheuristics, Vol. 26
  contributor:
    fullname: Socha
– volume: 46
  start-page: 989
  year: 2004
  end-page: 1000
  ident: b44
  article-title: Optimal and adaptive testing for software reliability assessment
  publication-title: Inf. Softw. Technol.
  contributor:
    fullname: Liu
– start-page: 46
  year: 2015
  end-page: 57
  ident: b8
  article-title: Mutation-based test-case prioritization in software evolution
  publication-title: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)
  contributor:
    fullname: Zhang
– year: 2003
  ident: b19
  article-title: A First Course in Stochastic Models
  contributor:
    fullname: Tijms
– volume: 17
  start-page: 89
  year: 2004
  ident: b35
  article-title: Systematic reviews and meta-analyses: an illustrated, step-by-step guide
  publication-title: Natl. Med. J. India
  contributor:
    fullname: Colford
– year: 1985
  ident: b51
  article-title: Algorithmic Graph Theory
  contributor:
    fullname: Gibbons
– volume: 1
  start-page: 1
  year: 2020
  end-page: 19
  ident: b61
  article-title: Comparing graph-based algorithms to generate test cases from finite state machines
  publication-title: J. Electron. Test.-Theory Appl.
  contributor:
    fullname: Vijaykumar
– volume: 42
  start-page: 859
  year: 2000
  end-page: 872
  ident: b16
  article-title: Measuring complexity and coverage of software specifications
  publication-title: Inf. Softw. Technol.
  contributor:
    fullname: Poore
– volume: 84
  start-page: 1090
  year: 1996
  end-page: 1123
  ident: b21
  article-title: Principles and methods of testing finite state machines-a survey
  publication-title: Proc. IEEE
  contributor:
    fullname: Yannakakis
– volume: 21
  start-page: 445
  year: 2013
  end-page: 478
  ident: b5
  article-title: Test case prioritization: a systematic mapping study
  publication-title: Softw. Qual. J.
  contributor:
    fullname: Mishra
– volume: 55
  start-page: 1045
  year: 2013
  end-page: 1062
  ident: b30
  article-title: Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods
  publication-title: Inf. Softw. Technol.
  contributor:
    fullname: Simao
– volume: 433–440
  start-page: 4691
  year: 2012
  end-page: 4697
  ident: b49
  article-title: Reducing safety-critical software statistical testing cost based on importance sampling technique
  publication-title: Adv. Mater. Res.
  contributor:
    fullname: Ji
– start-page: 420
  year: 1975
  ident: b20
  article-title: Introduction to Stochastic Processes
  contributor:
    fullname: Cinlar
– volume: 20
  start-page: 812
  year: 1994
  end-page: 824
  ident: b13
  article-title: A Markov chain model for statistical software testing
  publication-title: IEEE Trans. Softw. Eng.
  contributor:
    fullname: Thomason
– start-page: 157
  year: 2008
  end-page: 162
  ident: b58
  article-title: Evaluation of test criteria for space application software modeling in statecharts
  publication-title: International Conference on Computational Intelligence for Modelling Control and Automation
  contributor:
    fullname: Vijaykumar
– volume: 2
  start-page: 500
  year: 2011
  end-page: 505
  ident: b32
  article-title: A novel approach to test suite reduction using data mining
  publication-title: Indian J. Comput. Sci. Eng.
  contributor:
    fullname: Naidu
– start-page: 1
  year: 2011
  end-page: 6
  ident: b26
  article-title: Formal specification and systematic model-driven testing of embedded automotive systems
  publication-title: 2011 Design, Automation & Test in Europe
  contributor:
    fullname: Berger
– volume: 25
  start-page: 371
  year: 2015
  end-page: 396
  ident: b9
  article-title: Coverage-based regression test case selection, minimization and prioritization: A case study on an industrial system
  publication-title: Softw. Test. Verif. Reliab.
  contributor:
    fullname: Labiche
– start-page: 159
  year: 1977
  end-page: 174
  ident: b38
  article-title: The measurement of observer agreement for categorical data
  publication-title: Biometrics
  contributor:
    fullname: Koch
– volume: E95.D
  start-page: 2219
  year: 2012
  end-page: 2226
  ident: b50
  article-title: Application of Markov Chain Monte Carlo random testing to test case prioritization in regression testing
  publication-title: IEICE Trans. Inf. Syst.
  contributor:
    fullname: Dohi
– volume: 46
  start-page: 13
  year: 2012
  end-page: 20
  ident: b25
  article-title: Model based testing for software systems: an application of markov modulated markov process
  publication-title: Int. J. Comput. Appl.
  contributor:
    fullname: Eveleigh
– start-page: 63
  year: 2008
  end-page: 72
  ident: b56
  article-title: An environment for automated test case generation from statechart-based and finite state machine-based behavioral models
  publication-title: 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
  contributor:
    fullname: Ferreira
– volume: 6
  start-page: 3
  year: 2015
  end-page: 17
  ident: b15
  article-title: Testing Apache OpenOffice Writer using statistical usage testing technique
  publication-title: Int. J. Syst. Assur. Eng. Manag.
  contributor:
    fullname: Datta
– start-page: 75
  year: 2010
  ident: b33
  article-title: Test case reduction methods by using CBR
  publication-title: International Workshop on Design, Evaluation and Refinement of Intelligent Systems (DERIS2010)
  contributor:
    fullname: Daengdej
– volume: 44
  start-page: 841
  year: 2002
  end-page: 855
  ident: b43
  article-title: Optimal software testing and adaptive software testing in the context of software cybernetics
  publication-title: Inf. Softw. Technol.
  contributor:
    fullname: Cai
– volume: 50
  start-page: 117
  year: 2000
  end-page: 130
  ident: b53
  article-title: Towards integration of use case modelling and usage-based testing
  publication-title: J. Syst. Softw.
  contributor:
    fullname: Wohlin
– start-page: 225
  year: 2018
  end-page: 236
  ident: b39
  article-title: Test generation for performance evaluation of mobile multimedia streaming applications
  publication-title: MODELSWARD
  contributor:
    fullname: Srivastava
– start-page: 302
  year: 2013
  end-page: 311
  ident: b10
  article-title: Coverage-based test case prioritisation: An industrial case study
  publication-title: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation
  contributor:
    fullname: Labiche
– volume: 1
  start-page: 38
  issue: 1
  year: 2011
  ident: 10.1016/j.infsof.2022.106902_b14
  article-title: A controlled Markov chains approach to software testing
  publication-title: Softw. Eng.: Int. J. (SeiJ)
  contributor:
    fullname: Cai
– volume: 2
  start-page: 500
  issue: 3
  year: 2011
  ident: 10.1016/j.infsof.2022.106902_b32
  article-title: A novel approach to test suite reduction using data mining
  publication-title: Indian J. Comput. Sci. Eng.
  contributor:
    fullname: Muthyala
– volume: 46
  start-page: 989
  issue: 15
  year: 2004
  ident: 10.1016/j.infsof.2022.106902_b44
  article-title: Optimal and adaptive testing for software reliability assessment
  publication-title: Inf. Softw. Technol.
  doi: 10.1016/j.infsof.2004.07.006
  contributor:
    fullname: Cai
– start-page: 420
  year: 1975
  ident: 10.1016/j.infsof.2022.106902_b20
  contributor:
    fullname: Cinlar
– volume: 84
  start-page: 1090
  issue: 8
  year: 1996
  ident: 10.1016/j.infsof.2022.106902_b21
  article-title: Principles and methods of testing finite state machines-a survey
  publication-title: Proc. IEEE
  doi: 10.1109/5.533956
  contributor:
    fullname: Lee
– start-page: 159
  year: 1977
  ident: 10.1016/j.infsof.2022.106902_b38
  article-title: The measurement of observer agreement for categorical data
  publication-title: Biometrics
  doi: 10.2307/2529310
  contributor:
    fullname: Landis
– start-page: 86
  year: 2004
  ident: 10.1016/j.infsof.2022.106902_b28
  article-title: Using simulation to empirically investigate test coverage criteria based on statechart
  contributor:
    fullname: Briand
– start-page: 610
  year: 1990
  ident: 10.1016/j.infsof.2022.106902_b1
– start-page: 302
  year: 2013
  ident: 10.1016/j.infsof.2022.106902_b10
  article-title: Coverage-based test case prioritisation: An industrial case study
  contributor:
    fullname: Di Nardo
– volume: 433–440
  start-page: 4691
  year: 2012
  ident: 10.1016/j.infsof.2022.106902_b49
  article-title: Reducing safety-critical software statistical testing cost based on importance sampling technique
  publication-title: Adv. Mater. Res.
  doi: 10.4028/www.scientific.net/AMR.433-440.4691
  contributor:
    fullname: Yan
– start-page: 1
  year: 2011
  ident: 10.1016/j.infsof.2022.106902_b26
  article-title: Formal specification and systematic model-driven testing of embedded automotive systems
  contributor:
    fullname: Siegl
– start-page: 63
  year: 2008
  ident: 10.1016/j.infsof.2022.106902_b56
  article-title: An environment for automated test case generation from statechart-based and finite state machine-based behavioral models
  contributor:
    fullname: Santiago
– volume: 50
  start-page: 117
  issue: 2
  year: 2000
  ident: 10.1016/j.infsof.2022.106902_b53
  article-title: Towards integration of use case modelling and usage-based testing
  publication-title: J. Syst. Softw.
  doi: 10.1016/S0164-1212(99)00084-9
  contributor:
    fullname: Regnell
– volume: E95.D
  start-page: 2219
  issue: 9
  year: 2012
  ident: 10.1016/j.infsof.2022.106902_b50
  article-title: Application of Markov Chain Monte Carlo random testing to test case prioritization in regression testing
  publication-title: IEICE Trans. Inf. Syst.
  doi: 10.1587/transinf.E95.D.2219
  contributor:
    fullname: Zhou
– volume: 25
  start-page: 373
  issue: 2
  year: 2017
  ident: 10.1016/j.infsof.2022.106902_b60
  article-title: H-Switch Cover: a new test criterion to generate test case from finite state machines
  publication-title: Softw. Qual. J.
  doi: 10.1007/s11219-015-9300-8
  contributor:
    fullname: Souza
– volume: 93
  start-page: 74
  year: 2018
  ident: 10.1016/j.infsof.2022.106902_b6
  article-title: Test case prioritization approaches in regression testing: A systematic literature review
  publication-title: Inf. Softw. Technol.
  doi: 10.1016/j.infsof.2017.08.014
  contributor:
    fullname: Khatibsyarbini
– start-page: 462
  year: 2017
  ident: 10.1016/j.infsof.2022.106902_b41
  article-title: A simpler and more direct derivation of system reliability using markov chain usage models
  contributor:
    fullname: Lin
– volume: 46
  start-page: 13
  issue: 14
  year: 2012
  ident: 10.1016/j.infsof.2022.106902_b25
  article-title: Model based testing for software systems: an application of markov modulated markov process
  publication-title: Int. J. Comput. Appl.
  contributor:
    fullname: Kashyap
– volume: 44
  start-page: 841
  issue: 14
  year: 2002
  ident: 10.1016/j.infsof.2022.106902_b43
  article-title: Optimal software testing and adaptive software testing in the context of software cybernetics
  publication-title: Inf. Softw. Technol.
  doi: 10.1016/S0950-5849(02)00108-8
  contributor:
    fullname: Cai
– volume: 21
  start-page: 445
  issue: 3
  year: 2013
  ident: 10.1016/j.infsof.2022.106902_b5
  article-title: Test case prioritization: a systematic mapping study
  publication-title: Softw. Qual. J.
  doi: 10.1007/s11219-012-9181-z
  contributor:
    fullname: Catal
– start-page: 225
  year: 2018
  ident: 10.1016/j.infsof.2022.106902_b39
  article-title: Test generation for performance evaluation of mobile multimedia streaming applications
  contributor:
    fullname: Al-tekreeti
– start-page: 1
  year: 2012
  ident: 10.1016/j.infsof.2022.106902_b48
  article-title: A model driven approach for system validation
  contributor:
    fullname: Kashyap
– volume: 1
  year: 2011
  ident: 10.1016/j.infsof.2022.106902_b31
  article-title: Proritization technique for minimizing number of test cases
  publication-title: Int. J. Softw. Eng. Res. Pract.
  contributor:
    fullname: Raiyani
– year: 2013
  ident: 10.1016/j.infsof.2022.106902_b27
  contributor:
    fullname: Brémaud
– ident: 10.1016/j.infsof.2022.106902_b55
  doi: 10.1145/1497308.1497375
– volume: 1
  start-page: 1
  year: 2020
  ident: 10.1016/j.infsof.2022.106902_b61
  article-title: Comparing graph-based algorithms to generate test cases from finite state machines
  publication-title: J. Electron. Test.-Theory Appl.
  contributor:
    fullname: Mariano
– year: 2003
  ident: 10.1016/j.infsof.2022.106902_b19
  contributor:
    fullname: Tijms
– year: 2005
  ident: 10.1016/j.infsof.2022.106902_b36
  contributor:
    fullname: Biolchini
– volume: 68
  start-page: 157
  issue: 2
  year: 2018
  ident: 10.1016/j.infsof.2022.106902_b40
  article-title: Adaptive partition testing
  publication-title: IEEE Trans. Comput.
  doi: 10.1109/TC.2018.2866040
  contributor:
    fullname: Sun
– start-page: 142
  year: 2016
  ident: 10.1016/j.infsof.2022.106902_b7
  article-title: Using memetic algorithms for test case prioritization in model based software testing
  contributor:
    fullname: Nejad
– volume: 25
  start-page: 371
  issue: 4
  year: 2015
  ident: 10.1016/j.infsof.2022.106902_b9
  article-title: Coverage-based regression test case selection, minimization and prioritization: A case study on an industrial system
  publication-title: Softw. Test. Verif. Reliab.
  doi: 10.1002/stvr.1572
  contributor:
    fullname: Di Nardo
– volume: 17
  start-page: 89
  issue: 2
  year: 2004
  ident: 10.1016/j.infsof.2022.106902_b35
  article-title: Systematic reviews and meta-analyses: an illustrated, step-by-step guide
  publication-title: Natl. Med. J. India
  contributor:
    fullname: Pai
– volume: 8
  start-page: 231
  issue: 3
  year: 1987
  ident: 10.1016/j.infsof.2022.106902_b57
  article-title: Statecharts: A visual formalism for complex systems
  publication-title: Sci. Comput. Program.
  doi: 10.1016/0167-6423(87)90035-9
  contributor:
    fullname: Harel
– ident: 10.1016/j.infsof.2022.106902_b12
  doi: 10.1145/1291535.1291539
– start-page: 20
  year: 2017
  ident: 10.1016/j.infsof.2022.106902_b17
  article-title: Test suite prioritization for efficient regression testing of model-based automotive software
  contributor:
    fullname: Morozov
– start-page: 46
  year: 2015
  ident: 10.1016/j.infsof.2022.106902_b8
  article-title: Mutation-based test-case prioritization in software evolution
  contributor:
    fullname: Lou
– volume: 9
  start-page: 62
  issue: 1
  year: 2014
  ident: 10.1016/j.infsof.2022.106902_b59
  article-title: Tool support for generating model-based test cases via web
  publication-title: Int. J. Web Eng. Technol. IiWAS
  doi: 10.1504/IJWET.2014.063041
  contributor:
    fullname: Arantes
– volume: 23
  start-page: 623
  issue: 3
  year: 2015
  ident: 10.1016/j.infsof.2022.106902_b24
  article-title: Model-based test case prioritization using cluster analysis: a soft-computing approach
  publication-title: Turk. J. Electr. Eng. Comput. Sci.
  doi: 10.3906/elk-1209-109
  contributor:
    fullname: Gökçe
– volume: 40
  start-page: 199
  issue: 4
  year: 2000
  ident: 10.1016/j.infsof.2022.106902_b42
  article-title: Software dependability evaluation based on Markov usage models
  publication-title: Perform. Eval.
  doi: 10.1016/S0166-5316(99)00052-8
  contributor:
    fullname: Gutjahr
– year: 1994
  ident: 10.1016/j.infsof.2022.106902_b18
  contributor:
    fullname: Tijms
– year: 2007
  ident: 10.1016/j.infsof.2022.106902_b34
  contributor:
    fullname: Kitchenham
– ident: 10.1016/j.infsof.2022.106902_b64
  doi: 10.5220/0006527900990110
– ident: 10.1016/j.infsof.2022.106902_b11
  doi: 10.1109/ICSM.1999.792604
– year: 1992
  ident: 10.1016/j.infsof.2022.106902_b22
  contributor:
    fullname: Saad
– volume: 6
  start-page: 3
  issue: 1
  year: 2015
  ident: 10.1016/j.infsof.2022.106902_b15
  article-title: Testing Apache OpenOffice Writer using statistical usage testing technique
  publication-title: Int. J. Syst. Assur. Eng. Manag.
  doi: 10.1007/s13198-014-0237-2
  contributor:
    fullname: Khatri
– start-page: 1
  year: 2019
  ident: 10.1016/j.infsof.2022.106902_b63
  article-title: A systematic review on hidden Markov models for sentiment analysis
  contributor:
    fullname: Odumuyiwa
– volume: 28
  start-page: 159
  issue: 2
  year: 2002
  ident: 10.1016/j.infsof.2022.106902_b23
  article-title: Test case prioritization: A family of empirical studies
  publication-title: IEEE Trans. Softw. Eng.
  doi: 10.1109/32.988497
  contributor:
    fullname: Elbaum
– ident: 10.1016/j.infsof.2022.106902_b3
– start-page: 59
  year: 2015
  ident: 10.1016/j.infsof.2022.106902_b54
  article-title: ErrorPro: Software tool for stochastic error propagation analysis
  contributor:
    fullname: Morozov
– volume: 20
  start-page: 812
  issue: 10
  year: 1994
  ident: 10.1016/j.infsof.2022.106902_b13
  article-title: A Markov chain model for statistical software testing
  publication-title: IEEE Trans. Softw. Eng.
  doi: 10.1109/32.328991
  contributor:
    fullname: Whittaker
– volume: 16
  start-page: 153
  issue: 1
  year: 2015
  ident: 10.1016/j.infsof.2022.106902_b46
  article-title: Statistical prioritization for software product line testing: an experience report
  publication-title: Softw. Syst. Model.
  doi: 10.1007/s10270-015-0479-8
  contributor:
    fullname: Devroey
– year: 1985
  ident: 10.1016/j.infsof.2022.106902_b51
  contributor:
    fullname: Gibbons
– ident: 10.1016/j.infsof.2022.106902_b45
– start-page: 435
  year: 2015
  ident: 10.1016/j.infsof.2022.106902_b47
  article-title: Automated generation of software testing path based on ant colony
  contributor:
    fullname: Sayyari
– year: 2006
  ident: 10.1016/j.infsof.2022.106902_b52
  article-title: An introduction to ant colony optimization
  contributor:
    fullname: Dorigo
– volume: 42
  start-page: 859
  issue: 12
  year: 2000
  ident: 10.1016/j.infsof.2022.106902_b16
  article-title: Measuring complexity and coverage of software specifications
  publication-title: Inf. Softw. Technol.
  doi: 10.1016/S0950-5849(00)00102-6
  contributor:
    fullname: Walton
– volume: 24
  start-page: 407
  issue: 2
  year: 2016
  ident: 10.1016/j.infsof.2022.106902_b29
  article-title: Analysis of distance functions for similarity-based test suite reduction in the context of model-based testing
  publication-title: Softw. Qual. J.
  doi: 10.1007/s11219-014-9265-z
  contributor:
    fullname: Coutinho
– start-page: 153
  year: 2016
  ident: 10.1016/j.infsof.2022.106902_b62
  article-title: A map of threats to validity of systematic literature reviews in software engineering
  contributor:
    fullname: Zhou
– volume: 55
  start-page: 1045
  issue: 6
  year: 2013
  ident: 10.1016/j.infsof.2022.106902_b30
  article-title: Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods
  publication-title: Inf. Softw. Technol.
  doi: 10.1016/j.infsof.2013.01.001
  contributor:
    fullname: Endo
– start-page: 75
  year: 2010
  ident: 10.1016/j.infsof.2022.106902_b33
  article-title: Test case reduction methods by using CBR
  contributor:
    fullname: Roongruangsuwan
– year: 2008
  ident: 10.1016/j.infsof.2022.106902_b2
  contributor:
    fullname: Baier
– year: 2012
  ident: 10.1016/j.infsof.2022.106902_b4
  contributor:
    fullname: Mathur
– start-page: 225
  year: 2007
  ident: 10.1016/j.infsof.2022.106902_b37
  article-title: Applying systematic reviews to diverse study types: An experience report
  contributor:
    fullname: Dyba
– start-page: 157
  year: 2008
  ident: 10.1016/j.infsof.2022.106902_b58
  article-title: Evaluation of test criteria for space application software modeling in statecharts
  contributor:
    fullname: Souza
SSID ssj0017030
Score 2.4376254
Snippet Software Testing is a costly activity since the size of the test case set tends to increase as the construction of the software evolves. Test Case...
SourceID crossref
elsevier
SourceType Aggregation Database
Publisher
StartPage 106902
SubjectTerms Markov Chains
Systematic Literature Review
Test case prioritization
Title A Systematic Literature Review on prioritizing software test cases using Markov chains
URI https://dx.doi.org/10.1016/j.infsof.2022.106902
Volume 147
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED5VRUIsiKcoj8oDq2nrODEeq4qqvLqUom6R4zgQhiRqA0gM_HbOcVKBhBgY48SRfT7d99m5-wJwbiHOl0pS5ceCcqRvVGqT0Fj5CRIKyWJha4fvp8Fkzm8W_qIFo6YWxqZV1rHfxfQqWtctvdqavSJNezMkB32ET8mqahNmFT85ghH69MXnOs1jYD3a6e31qX26KZ-rcrxwEVe5FfJkDJtwo8h-h6dvkDPege2aK5KhG84utEy2B5tNqvo-PA7JbC3ETO7WAsnEHfiTPCPFMs2tbNEHIhTBQZTvCu8jvSyJRvxaEfuyJ2IrdvI3op9Vmq0OYD6-ehhNaP2fBKqR8Jc4rYFCIBdcaaR7XMYRw7kYbb-RRYkOPKES4V1yPUi8SPnCaNzjsDj2VBRZfTbvENpZnpkjIAn2QUpljMcDjoxWKiYSXxpkUX6gWdAB2pgnLJwcRtjkib2EzpyhNWfozNkB0dgw_LGsIUbsP3se_7vnCWzZK5dTewrtcvlqzpA5lFG3co0ubAyvbyfTL7aNwsc
link.rule.ids 315,786,790,4521,24144,27955,27956,45618,45712
linkProvider Elsevier
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV09T8MwED2VIgEL4lOUTw-sptT5MB6riqpA26Ut6mY5jgNhSKo2gMTAb-dcJxVIiIHVjiP7HN17Tt69AFxaiAuEElQFMac-0jcqtElorIIECYVgMbe1w4Nh2Jv499NgWoNOVQtjZZVl7nc5fZmty5ZmGc3mLE2bIyQH1wifgi2rTZi3BuuWDVhd19XnSufRso-0M9y7pvbyqn5uKfLCXVzk1smTMWzCkyL7HZ--YU53B7ZLskjabj67UDPZHmxUWvV9eGyT0cqJmfRXDsnEvfEneUZm8zS3vkUfCFEEJ1G8K-xHflkQjQC2IPZmT8SW7ORvRD-rNFscwKR7O-70aPmjBKqR8Re4rJZCJOe-0sj3fBFHDNditP1IFiU69LhKuHfj61biRSrgRuMhh8Wxp6LIGrR5h1DP8swcAUlwDEbRGM8PfaS0QjGeBMIgjQpCzcIG0Co8cub8MGQlFHuRLpzShlO6cDaAVzGUP_ZVYsr-c-Txv0dewGZvPOjL_t3w4QS2bI8T2J5CvZi_mjOkEUV0vnxMvgCAPcRg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Systematic+Literature+Review+on+prioritizing+software+test+cases+using+Markov+chains&rft.jtitle=Information+and+software+technology&rft.au=Barbosa%2C+Gerson&rft.au=de+Souza%2C+%C3%89rica+Ferreira&rft.au=dos+Santos%2C+Luciana+Brasil+Rebelo&rft.au=da+Silva%2C+Marlon&rft.date=2022-07-01&rft.pub=Elsevier+B.V&rft.issn=0950-5849&rft.eissn=1873-6025&rft.volume=147&rft_id=info:doi/10.1016%2Fj.infsof.2022.106902&rft.externalDocID=S0950584922000623
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0950-5849&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0950-5849&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0950-5849&client=summon