{"id":"https://openalex.org/W4393035096","doi":"https://doi.org/10.1109/icacs60934.2024.10473284","title":"A Case Study: To Discuss the Construction of the Finite State Machine and Markov-Chain OP Models for Test Case Generation","display_name":"A Case Study: To Discuss the Construction of the Finite State Machine and Markov-Chain OP Models for Test Case Generation","publication_year":2024,"publication_date":"2024-02-19","ids":{"openalex":"https://openalex.org/W4393035096","doi":"https://doi.org/10.1109/icacs60934.2024.10473284"},"language":"en","primary_location":{"id":"doi:10.1109/icacs60934.2024.10473284","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icacs60934.2024.10473284","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 5th International Conference on Advancements in Computational Sciences (ICACS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5104160152","display_name":"Saima Shaheen","orcid":"https://orcid.org/0000-0001-6582-4033"},"institutions":[{"id":"https://openalex.org/I29698356","display_name":"HITEC University","ror":"https://ror.org/013d87239","country_code":"PK","type":"education","lineage":["https://openalex.org/I29698356"]}],"countries":["PK"],"is_corresponding":true,"raw_author_name":"Saima Shaheen","raw_affiliation_strings":["HITEC University,Department of Computer Science,Taxila,Pakistan","Department of Computer Science, HITEC University, Taxila, Pakistan"],"affiliations":[{"raw_affiliation_string":"HITEC University,Department of Computer Science,Taxila,Pakistan","institution_ids":["https://openalex.org/I29698356"]},{"raw_affiliation_string":"Department of Computer Science, HITEC University, Taxila, Pakistan","institution_ids":["https://openalex.org/I29698356"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112993681","display_name":"Hasna Arshad","orcid":null},"institutions":[{"id":"https://openalex.org/I29698356","display_name":"HITEC University","ror":"https://ror.org/013d87239","country_code":"PK","type":"education","lineage":["https://openalex.org/I29698356"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Hasna Arshad","raw_affiliation_strings":["HITEC University,Department of Computer Science,Taxila,Pakistan","Department of Computer Science, HITEC University, Taxila, Pakistan"],"affiliations":[{"raw_affiliation_string":"HITEC University,Department of Computer Science,Taxila,Pakistan","institution_ids":["https://openalex.org/I29698356"]},{"raw_affiliation_string":"Department of Computer Science, HITEC University, Taxila, Pakistan","institution_ids":["https://openalex.org/I29698356"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102576362","display_name":"M. Afzal Mir","orcid":null},"institutions":[{"id":"https://openalex.org/I29698356","display_name":"HITEC University","ror":"https://ror.org/013d87239","country_code":"PK","type":"education","lineage":["https://openalex.org/I29698356"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Momeena Mir","raw_affiliation_strings":["HITEC University,Department of Computer Science,Taxila,Pakistan","Department of Computer Science, HITEC University, Taxila, Pakistan"],"affiliations":[{"raw_affiliation_string":"HITEC University,Department of Computer Science,Taxila,Pakistan","institution_ids":["https://openalex.org/I29698356"]},{"raw_affiliation_string":"Department of Computer Science, HITEC University, Taxila, Pakistan","institution_ids":["https://openalex.org/I29698356"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079512790","display_name":"Muhammad Tufail Hashmi","orcid":"https://orcid.org/0009-0004-1920-2208"},"institutions":[{"id":"https://openalex.org/I29698356","display_name":"HITEC University","ror":"https://ror.org/013d87239","country_code":"PK","type":"education","lineage":["https://openalex.org/I29698356"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Muhammad Tufail Hashmi","raw_affiliation_strings":["HITEC University,Department of Computer Science,Taxila,Pakistan","Department of Computer Science, HITEC University, Taxila, Pakistan"],"affiliations":[{"raw_affiliation_string":"HITEC University,Department of Computer Science,Taxila,Pakistan","institution_ids":["https://openalex.org/I29698356"]},{"raw_affiliation_string":"Department of Computer Science, HITEC University, Taxila, Pakistan","institution_ids":["https://openalex.org/I29698356"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5104160152"],"corresponding_institution_ids":["https://openalex.org/I29698356"],"apc_list":null,"apc_paid":null,"fwci":0.4985,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.63142982,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9884999990463257,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9639000296592712,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.6608691215515137},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6367019414901733},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.6176439523696899},{"id":"https://openalex.org/keywords/finite-state","display_name":"Finite state","score":0.5575291514396667},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.48563113808631897},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.44999468326568604},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.21344664692878723},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2042352259159088}],"concepts":[{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.6608691215515137},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6367019414901733},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6176439523696899},{"id":"https://openalex.org/C2983497884","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite state","level":3,"score":0.5575291514396667},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.48563113808631897},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.44999468326568604},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.21344664692878723},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2042352259159088},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icacs60934.2024.10473284","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icacs60934.2024.10473284","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 5th International Conference on Advancements in Computational Sciences (ICACS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W151946241","https://openalex.org/W1592048085","https://openalex.org/W2011762419","https://openalex.org/W2619300516","https://openalex.org/W2622660920","https://openalex.org/W2768237330","https://openalex.org/W2791608170","https://openalex.org/W2888333498","https://openalex.org/W2895061205","https://openalex.org/W3093177323","https://openalex.org/W3112611787","https://openalex.org/W3162719608","https://openalex.org/W3165308169","https://openalex.org/W4200208487","https://openalex.org/W4205483964","https://openalex.org/W4220907602","https://openalex.org/W4247316974","https://openalex.org/W4282546748","https://openalex.org/W4312678963","https://openalex.org/W4313546810","https://openalex.org/W6795939121"],"related_works":["https://openalex.org/W1532285316","https://openalex.org/W4281261571","https://openalex.org/W4387024110","https://openalex.org/W4286791841","https://openalex.org/W2535494882","https://openalex.org/W3020660001","https://openalex.org/W1571505340","https://openalex.org/W2049663053","https://openalex.org/W1983424344","https://openalex.org/W1590414239"],"abstract_inverted_index":{"Finite":[0],"State":[1,148],"Machine":[2],"(FSM)":[3],"is":[4,82,145],"used":[5],"to":[6,22,30,44,51,110,132,139,156,203,216],"solve":[7],"problems":[8],"in":[9,65],"math,":[10],"games,":[11],"and":[12,20,27,57,99,150,178,194,224],"practical":[13],"skills":[14],"by":[15],"making":[16],"use":[17],"of":[18,35,60,68,85,88,97,114,167,214,221],"regions":[19],"transformers":[21],"model":[23,157,222],"individual":[24],"processing":[25],"units":[26],"link":[28],"them":[29],"create":[31],"a":[32,83,107,112,133,164,205],"complete":[33],"sequence":[34],"operating":[36],"conditions,":[37],"which":[38,175],"can":[39,153],"be":[40,52,154,204],"handled":[41],"easily.":[42],"Owing":[43],"their":[45,100],"logical":[46],"structure,":[47],"FSMs":[48,103,215],"are":[49,104],"considered":[50],"ideal":[53],"tools":[54],"for":[55,174,190,208,227],"structural":[56],"behavioral":[58],"modeling":[59],"software":[61,159,228],"applications":[62],"that":[63,118,199],"assist":[64],"various":[66],"phases":[67],"SDLC(Software":[69],"Design":[70],"Life":[71],"Cycle)":[72],"like":[73],"Requirement":[74],"Specifications,":[75],"Design,":[76],"Testing,":[77],"etc.":[78],"Software":[79],"testing":[80,130],"cost":[81,131],"function":[84],"the":[86,89,95,122,129,168,187,191],"size":[87],"constructed":[90],"test":[91,116],"suite,":[92],"given":[93],"as,":[94],"number":[96],"tests":[98],"combined":[101],"length.":[102],"deployed":[105],"as":[106],"smart":[108],"tool":[109],"get":[111,217],"set":[113],"prioritized":[115],"suits":[117],"not":[119],"only":[120],"verify":[121],"user":[123],"value-based":[124],"system":[125],"features":[126],"rather":[127],"reduce":[128],"major":[134],"extent.":[135],"This":[136],"paper":[137],"aims":[138],"provide":[140],"comprehensive":[141],"knowledge":[142],"about":[143],"what":[144],"FSM":[146],"(Finite":[147],"Machine)":[149],"how":[151],"it":[152],"incorporated":[155],"some":[158],"applications.":[160],"For":[161],"further":[162],"illustration,":[163],"case":[165],"study":[166,201],"Daraz":[169],"App":[170],"has":[171],"been":[172,184],"discussed":[173],"both":[176],"simple":[177],"Markovian":[179],"Operational":[180],"Profiles":[181],"(MOP)":[182],"have":[183],"formed":[185],"using":[186],"Mealy":[188],"models":[189],"graphical,":[192],"tabular,":[193],"list":[195],"representations.":[196],"We":[197],"aim":[198],"this":[200],"proves":[202],"productive":[206],"contribution":[207],"individuals":[209],"working":[210],"with":[211],"different":[212],"types":[213],"an":[218],"in-depth":[219],"understanding":[220],"construction":[223],"its":[225],"implication":[226],"testing.":[229]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}