{"id":"https://openalex.org/W3045666969","doi":"https://doi.org/10.1109/iwcmc48107.2020.9148212","title":"A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain","display_name":"A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain","publication_year":2020,"publication_date":"2020-06-01","ids":{"openalex":"https://openalex.org/W3045666969","doi":"https://doi.org/10.1109/iwcmc48107.2020.9148212","mag":"3045666969"},"language":"en","primary_location":{"id":"doi:10.1109/iwcmc48107.2020.9148212","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwcmc48107.2020.9148212","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 International Wireless Communications and Mobile Computing (IWCMC)","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/A5008743547","display_name":"Rateb Jabbar","orcid":"https://orcid.org/0000-0002-4886-6458"},"institutions":[{"id":"https://openalex.org/I4210145724","display_name":"Centre d'Etudes et De Recherche en Informatique et Communications","ror":"https://ror.org/044j5mm75","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210145724"]},{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Rateb Jabbar","raw_affiliation_strings":["Computer Science Department, Cedric Lab, Conservatoire National des Arts et Meteirs, France","CEDRIC. Syst\u00e8mes s\u00fbrs"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Cedric Lab, Conservatoire National des Arts et Meteirs, France","institution_ids":["https://openalex.org/I124158823"]},{"raw_affiliation_string":"CEDRIC. Syst\u00e8mes s\u00fbrs","institution_ids":["https://openalex.org/I4210145724"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004970162","display_name":"Moez Krichen","orcid":"https://orcid.org/0000-0001-8873-9755"},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Moez Krichen","raw_affiliation_strings":["ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, Tunisia","Unit\u00e9 de Recherche en d\u00e9veloppement et contr\u00f4le d'applications distribu\u00e9es"],"affiliations":[{"raw_affiliation_string":"ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]},{"raw_affiliation_string":"Unit\u00e9 de Recherche en d\u00e9veloppement et contr\u00f4le d'applications distribu\u00e9es","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074989459","display_name":"Mohammed Shinoy","orcid":null},"institutions":[{"id":"https://openalex.org/I60342839","display_name":"Qatar University","ror":"https://ror.org/00yhnba62","country_code":"QA","type":"education","lineage":["https://openalex.org/I60342839"]}],"countries":["QA"],"is_corresponding":false,"raw_author_name":"Mohammed Shinoy","raw_affiliation_strings":["Qatar Transportation and Traffic Safety Center, Qatar University, Qatar","Qatar University"],"affiliations":[{"raw_affiliation_string":"Qatar Transportation and Traffic Safety Center, Qatar University, Qatar","institution_ids":["https://openalex.org/I60342839"]},{"raw_affiliation_string":"Qatar University","institution_ids":["https://openalex.org/I60342839"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047055534","display_name":"Mohamed Kharbeche","orcid":"https://orcid.org/0000-0003-1469-7163"},"institutions":[{"id":"https://openalex.org/I60342839","display_name":"Qatar University","ror":"https://ror.org/00yhnba62","country_code":"QA","type":"education","lineage":["https://openalex.org/I60342839"]}],"countries":["QA"],"is_corresponding":false,"raw_author_name":"Mohamed Kharbeche","raw_affiliation_strings":["Qatar Transportation and Traffic Safety Center, Qatar University, Qatar","Qatar University"],"affiliations":[{"raw_affiliation_string":"Qatar Transportation and Traffic Safety Center, Qatar University, Qatar","institution_ids":["https://openalex.org/I60342839"]},{"raw_affiliation_string":"Qatar University","institution_ids":["https://openalex.org/I60342839"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020600623","display_name":"Noora Fetais","orcid":"https://orcid.org/0000-0003-3609-2659"},"institutions":[{"id":"https://openalex.org/I60342839","display_name":"Qatar University","ror":"https://ror.org/00yhnba62","country_code":"QA","type":"education","lineage":["https://openalex.org/I60342839"]}],"countries":["QA"],"is_corresponding":false,"raw_author_name":"Noora Fetais","raw_affiliation_strings":["KINDI Center for Computing Research, College of Engineering, Qatar University, Doha, Qatar","Qatar University"],"affiliations":[{"raw_affiliation_string":"KINDI Center for Computing Research, College of Engineering, Qatar University, Doha, Qatar","institution_ids":["https://openalex.org/I60342839"]},{"raw_affiliation_string":"Qatar University","institution_ids":["https://openalex.org/I60342839"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028283340","display_name":"Kamel Barkaoui","orcid":"https://orcid.org/0000-0001-7175-0448"},"institutions":[{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]},{"id":"https://openalex.org/I4210145724","display_name":"Centre d'Etudes et De Recherche en Informatique et Communications","ror":"https://ror.org/044j5mm75","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210145724"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Kamel Barkaoui","raw_affiliation_strings":["Computer Science Department, Cedric Lab, Conservatoire National des Arts et Meteirs, France","CEDRIC. Syst\u00e8mes s\u00fbrs"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Cedric Lab, Conservatoire National des Arts et Meteirs, France","institution_ids":["https://openalex.org/I124158823"]},{"raw_affiliation_string":"CEDRIC. Syst\u00e8mes s\u00fbrs","institution_ids":["https://openalex.org/I4210145724"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5008743547"],"corresponding_institution_ids":["https://openalex.org/I124158823","https://openalex.org/I4210145724"],"apc_list":null,"apc_paid":null,"fwci":1.1703,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.77358258,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1252","last_page":"1259"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12546","display_name":"Smart Parking Systems Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2215","display_name":"Building and Construction"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12546","display_name":"Smart Parking Systems Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2215","display_name":"Building and Construction"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8705816268920898},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.760277509689331},{"id":"https://openalex.org/keywords/payment","display_name":"Payment","score":0.5928120613098145},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.4790540933609009},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4767552316188812},{"id":"https://openalex.org/keywords/payment-system","display_name":"Payment system","score":0.4645079970359802},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4298376441001892},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4274856448173523},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1774965524673462}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8705816268920898},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.760277509689331},{"id":"https://openalex.org/C145097563","wikidata":"https://www.wikidata.org/wiki/Q1148747","display_name":"Payment","level":2,"score":0.5928120613098145},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.4790540933609009},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4767552316188812},{"id":"https://openalex.org/C2776983043","wikidata":"https://www.wikidata.org/wiki/Q986008","display_name":"Payment system","level":3,"score":0.4645079970359802},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4298376441001892},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4274856448173523},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1774965524673462},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/iwcmc48107.2020.9148212","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwcmc48107.2020.9148212","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 International Wireless Communications and Mobile Computing (IWCMC)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03027784v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03027784","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2020 International Wireless Communications and Mobile Computing (IWCMC), Jun 2020, Limassol, France. pp.1252-1259, ⟨10.1109/IWCMC48107.2020.9148212⟩","raw_type":"Conference papers"},{"id":"pmh:oai:qspace.qu.edu.qa:10576/48478","is_oa":false,"landing_page_url":"https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85089690894&origin=inward","pdf_url":null,"source":{"id":"https://openalex.org/S4306400014","display_name":"Qatar University QSpace (Qatar University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60342839","host_organization_name":"Qatar University","host_organization_lineage":["https://openalex.org/I60342839"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W82657364","https://openalex.org/W82695921","https://openalex.org/W1483960971","https://openalex.org/W1985811537","https://openalex.org/W2009985677","https://openalex.org/W2077517106","https://openalex.org/W2095482919","https://openalex.org/W2101508170","https://openalex.org/W2105103777","https://openalex.org/W2116762814","https://openalex.org/W2119296494","https://openalex.org/W2120223433","https://openalex.org/W2120916408","https://openalex.org/W2122721133","https://openalex.org/W2123023940","https://openalex.org/W2144528329","https://openalex.org/W2152069471","https://openalex.org/W2171278763","https://openalex.org/W2296406898","https://openalex.org/W2315975036","https://openalex.org/W2414114959","https://openalex.org/W2465256853","https://openalex.org/W2536604331","https://openalex.org/W2565437603","https://openalex.org/W2578151840","https://openalex.org/W2584077101","https://openalex.org/W2594728687","https://openalex.org/W2795117902","https://openalex.org/W2801779586","https://openalex.org/W2808341674","https://openalex.org/W2808445014","https://openalex.org/W2811044672","https://openalex.org/W2903434459","https://openalex.org/W2964809090","https://openalex.org/W3010856131","https://openalex.org/W3013895605","https://openalex.org/W3023520985"],"related_works":["https://openalex.org/W2111870610","https://openalex.org/W1895768774","https://openalex.org/W2626891284","https://openalex.org/W3202903190","https://openalex.org/W2753683332","https://openalex.org/W2359711093","https://openalex.org/W2100248832","https://openalex.org/W4243402857","https://openalex.org/W4386686683","https://openalex.org/W1520980463"],"abstract_inverted_index":{"In":[0,102],"most":[1],"cities,":[2],"the":[3,35,99,111,124,129,155,174,181,190],"availability":[4],"of":[5,13,128,142,170,189],"parking":[6,14,32,54,100],"is":[7,219],"a":[8,53,77,94,119],"major":[9],"concern.":[10],"The":[11,50,87,139,157],"misuse":[12],"spots":[15],"as":[16,221],"drivers":[17],"park":[18],"for":[19,52,122,172,200,212],"longer":[20],"than":[21],"permitted":[22],"periods":[23],"cause":[24],"more":[25],"delays,":[26],"inconvenience":[27],"to":[28,58,92,185,196],"others,":[29],"and":[30,45,61,81,106,126,153,165,194,205],"even":[31],"tickets.":[33],"Moreover,":[34,118],"payment":[36,112],"systems":[37],"at":[38],"many":[39],"locations":[40],"are":[41],"still":[42],"not":[43],"electronic":[44],"rely":[46],"on":[47],"hard":[48],"currency.":[49],"search":[51],"space":[55],"also":[56,115],"contributes":[57],"congestion,":[59],"pollution,":[60],"other":[62],"safety":[63],"issues.":[64],"This":[65],"paper":[66],"introduces":[67],"an":[68,147,209],"end-to-end":[69],"system":[70,191],"that":[71,109],"enables":[72],"automatic":[73],"car":[74],"payments":[75],"in":[76],"safe,":[78],"private,":[79],"secure,":[80],"efficient":[82],"manner":[83],"using":[84],"Blockchain":[85],"technology.":[86],"proposed":[88,130,220],"solution":[89,95],"utilizes":[90],"Ethereum":[91],"prototype":[93],"which":[96],"can":[97],"facilitate":[98],"payments.":[101],"addition,":[103],"Android":[104],"auto":[105],"application":[107],"modules":[108],"automate":[110],"process":[113],"have":[114],"been":[116,137],"developed.":[117],"validation":[120],"technique":[121],"enhancing":[123],"quality":[125],"correctness":[127],"solution,":[131],"namely":[132],"Model-Based":[133],"Testing":[134],"Techniques,":[135],"has":[136],"discussed.":[138],"latter":[140],"consists":[141],"deriving":[143],"test":[144,193],"suites":[145],"from":[146],"adopted":[148],"formal":[149,159,175],"model,":[150],"performing":[151],"them,":[152],"assessing":[154],"correctness.":[156],"used":[158],"model":[160],"may":[161],"combine":[162],"both":[163],"functional":[164],"load":[166],"aspects.":[167],"A":[168],"list":[169],"techniques":[171],"improving":[173],"testing":[176,204],"approach":[177],"was":[178],"identified.":[179],"Besides,":[180],"authors":[182],"explained":[183],"how":[184,195],"manage":[186],"dynamic":[187],"adaptations":[188],"under":[192],"use":[197],"isolation":[198],"strategies":[199],"avoiding":[201],"interference":[202],"between":[203],"business":[206],"behaviors.":[207],"Finally,":[208],"optimization":[210],"phase":[211],"testers":[213],"placement":[214],"inspired":[215],"by":[216],"fog":[217],"computing":[218],"well.":[222]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":2}],"updated_date":"2026-03-27T14:29:43.386196","created_date":"2025-10-10T00:00:00"}