{"id":"https://openalex.org/W2983005900","doi":"https://doi.org/10.1109/access.2019.2953858","title":"A Research Landscape on Formal Verification of Software Architecture Descriptions","display_name":"A Research Landscape on Formal Verification of Software Architecture Descriptions","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2983005900","doi":"https://doi.org/10.1109/access.2019.2953858","mag":"2983005900"},"language":"en","primary_location":{"id":"doi:10.1109/access.2019.2953858","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2953858","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08901988.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08901988.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101640669","display_name":"Camila Ara\u00fajo","orcid":"https://orcid.org/0000-0003-4392-3000"},"institutions":[{"id":"https://openalex.org/I35046152","display_name":"Universidade Federal do Rio Grande do Norte","ror":"https://ror.org/04wn09761","country_code":"BR","type":"education","lineage":["https://openalex.org/I35046152"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Camila Araujo","raw_affiliation_strings":["DIMAp, Federal University of Rio Grande do Norte, Natal, Brazil","State University of Rio Grande do Norte, Natal, Brazil","UFRN - Universidade Federal do Rio Grande do Norte [Natal] (Caixa Postal 1524 - Campus Universit\u00e1rio Lagoa Nova, CEP 59078-970 | Natal/RN - Brazil)"],"raw_orcid":"https://orcid.org/0000-0003-4392-3000","affiliations":[{"raw_affiliation_string":"DIMAp, Federal University of Rio Grande do Norte, Natal, Brazil","institution_ids":["https://openalex.org/I35046152"]},{"raw_affiliation_string":"State University of Rio Grande do Norte, Natal, Brazil","institution_ids":[]},{"raw_affiliation_string":"UFRN - Universidade Federal do Rio Grande do Norte [Natal] (Caixa Postal 1524 - Campus Universit\u00e1rio Lagoa Nova, CEP 59078-970 | Natal/RN - Brazil)","institution_ids":["https://openalex.org/I35046152"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080777193","display_name":"Everton Cavalcante","orcid":"https://orcid.org/0000-0002-2475-5075"},"institutions":[{"id":"https://openalex.org/I35046152","display_name":"Universidade Federal do Rio Grande do Norte","ror":"https://ror.org/04wn09761","country_code":"BR","type":"education","lineage":["https://openalex.org/I35046152"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Everton Cavalcante","raw_affiliation_strings":["DIMAp, Federal University of Rio Grande do Norte, Natal, Brazil","UFRN - Universidade Federal do Rio Grande do Norte [Natal] (Caixa Postal 1524 - Campus Universit\u00e1rio Lagoa Nova, CEP 59078-970 | Natal/RN - Brazil)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIMAp, Federal University of Rio Grande do Norte, Natal, Brazil","institution_ids":["https://openalex.org/I35046152"]},{"raw_affiliation_string":"UFRN - Universidade Federal do Rio Grande do Norte [Natal] (Caixa Postal 1524 - Campus Universit\u00e1rio Lagoa Nova, CEP 59078-970 | Natal/RN - Brazil)","institution_ids":["https://openalex.org/I35046152"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026726377","display_name":"Tha\u0131\u0301s Batista","orcid":"https://orcid.org/0000-0003-3558-1450"},"institutions":[{"id":"https://openalex.org/I35046152","display_name":"Universidade Federal do Rio Grande do Norte","ror":"https://ror.org/04wn09761","country_code":"BR","type":"education","lineage":["https://openalex.org/I35046152"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Thais Batista","raw_affiliation_strings":["DIMAp, Federal University of Rio Grande do Norte, Natal, Brazil","UFRN - Universidade Federal do Rio Grande do Norte [Natal] (Caixa Postal 1524 - Campus Universit\u00e1rio Lagoa Nova, CEP 59078-970 | Natal/RN - Brazil)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIMAp, Federal University of Rio Grande do Norte, Natal, Brazil","institution_ids":["https://openalex.org/I35046152"]},{"raw_affiliation_string":"UFRN - Universidade Federal do Rio Grande do Norte [Natal] (Caixa Postal 1524 - Campus Universit\u00e1rio Lagoa Nova, CEP 59078-970 | Natal/RN - Brazil)","institution_ids":["https://openalex.org/I35046152"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056656236","display_name":"Marcel Oliveira","orcid":"https://orcid.org/0000-0002-3023-2748"},"institutions":[{"id":"https://openalex.org/I35046152","display_name":"Universidade Federal do Rio Grande do Norte","ror":"https://ror.org/04wn09761","country_code":"BR","type":"education","lineage":["https://openalex.org/I35046152"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marcel Oliveira","raw_affiliation_strings":["DIMAp, Federal University of Rio Grande do Norte, Natal, Brazil","UFRN - Universidade Federal do Rio Grande do Norte [Natal] (Caixa Postal 1524 - Campus Universit\u00e1rio Lagoa Nova, CEP 59078-970 | Natal/RN - Brazil)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIMAp, Federal University of Rio Grande do Norte, Natal, Brazil","institution_ids":["https://openalex.org/I35046152"]},{"raw_affiliation_string":"UFRN - Universidade Federal do Rio Grande do Norte [Natal] (Caixa Postal 1524 - Campus Universit\u00e1rio Lagoa Nova, CEP 59078-970 | Natal/RN - Brazil)","institution_ids":["https://openalex.org/I35046152"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058585144","display_name":"Fl\u00e1vio Oquendo","orcid":"https://orcid.org/0000-0003-4171-2445"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2802204017","display_name":"Universit\u00e9 de Bretagne Sud","ror":"https://ror.org/04ed7fw48","country_code":"FR","type":"education","lineage":["https://openalex.org/I2802204017"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Flavio Oquendo","raw_affiliation_strings":["IRISA-UMR CNRS/Universit\u00e9 Bretagne Sud, Vannes, France","ARCHWARE - Advanced Technologies for Operated Networks (IRISA/UBS - Campus de Tohannic - rue Yves Mainguy - b\u00e2timent ENSibs - BP 573 - 56000 Vannes cedex - France)","IRISA - Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires (Avenue du g\u00e9n\u00e9ral Leclerc\r\nCampus de Beaulieu \r\n35042 RENNES CEDEX - France)","UBS - Universit\u00e9 de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRISA-UMR CNRS/Universit\u00e9 Bretagne Sud, Vannes, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2802204017","https://openalex.org/I2802519937"]},{"raw_affiliation_string":"ARCHWARE - Advanced Technologies for Operated Networks (IRISA/UBS - Campus de Tohannic - rue Yves Mainguy - b\u00e2timent ENSibs - BP 573 - 56000 Vannes cedex - France)","institution_ids":["https://openalex.org/I2802519937"]},{"raw_affiliation_string":"IRISA - Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires (Avenue du g\u00e9n\u00e9ral Leclerc\r\nCampus de Beaulieu \r\n35042 RENNES CEDEX - France)","institution_ids":["https://openalex.org/I2802519937"]},{"raw_affiliation_string":"UBS - Universit\u00e9 de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)","institution_ids":["https://openalex.org/I2802204017"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.634,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.78066388,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"7","issue":null,"first_page":"171752","last_page":"171764"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10260","display_name":"Software Engineering Research","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9979000091552734,"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/computer-science","display_name":"Computer science","score":0.7544949650764465},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6290560960769653},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5793271660804749},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5497739911079407},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5370643734931946},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.49193570017814636},{"id":"https://openalex.org/keywords/software-architecture-description","display_name":"Software architecture description","score":0.4859544038772583},{"id":"https://openalex.org/keywords/reference-architecture","display_name":"Reference architecture","score":0.4178970456123352},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3421897888183594},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2731718420982361}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7544949650764465},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6290560960769653},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5793271660804749},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5497739911079407},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5370643734931946},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.49193570017814636},{"id":"https://openalex.org/C73219336","wikidata":"https://www.wikidata.org/wiki/Q7554254","display_name":"Software architecture description","level":5,"score":0.4859544038772583},{"id":"https://openalex.org/C55356503","wikidata":"https://www.wikidata.org/wiki/Q2136675","display_name":"Reference architecture","level":4,"score":0.4178970456123352},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3421897888183594},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2731718420982361}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/access.2019.2953858","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2953858","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08901988.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-02570179v1","is_oa":true,"landing_page_url":"https://hal.science/hal-02570179","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, 2019, 7, pp.171752-171764. ⟨10.1109/ACCESS.2019.2953858⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:3266fdc18c0c4041a317f78c332ad094","is_oa":true,"landing_page_url":"https://doaj.org/article/3266fdc18c0c4041a317f78c332ad094","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 7, Pp 171752-171764 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2019.2953858","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2953858","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08901988.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1196001168","display_name":null,"funder_award_id":"APQ\u20100399\u20101.03/17","funder_id":"https://openalex.org/F4320323678","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco"},{"id":"https://openalex.org/G1677423749","display_name":null,"funder_award_id":"2014\u20100","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G2823776494","display_name":null,"funder_award_id":"88887","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G324202424","display_name":null,"funder_award_id":"465614/2014- 0","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G3367297716","display_name":null,"funder_award_id":"APQ-0399-1.03/17","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G6726923587","display_name":null,"funder_award_id":"INES 2.0","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G707513427","display_name":null,"funder_award_id":"88887.136410/2017\u201000","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G7366191923","display_name":null,"funder_award_id":"465614/2014-0","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G8610624460","display_name":null,"funder_award_id":"308274/2016-4","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"}],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"},{"id":"https://openalex.org/F4320323678","display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco","ror":"https://ror.org/02te5rf52"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2983005900.pdf","grobid_xml":"https://content.openalex.org/works/W2983005900.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W4214443","https://openalex.org/W1481933832","https://openalex.org/W1550602558","https://openalex.org/W1581604070","https://openalex.org/W1596711598","https://openalex.org/W1631091010","https://openalex.org/W1800478330","https://openalex.org/W1975675278","https://openalex.org/W2015280671","https://openalex.org/W2038476425","https://openalex.org/W2072668705","https://openalex.org/W2089014520","https://openalex.org/W2102597656","https://openalex.org/W2126230853","https://openalex.org/W2132695268","https://openalex.org/W2167675743","https://openalex.org/W2345401972","https://openalex.org/W2555835184","https://openalex.org/W2574271863","https://openalex.org/W2768908343","https://openalex.org/W2783395867","https://openalex.org/W2783456114","https://openalex.org/W2902212434","https://openalex.org/W6600182073","https://openalex.org/W6675387429"],"related_works":["https://openalex.org/W2017266164","https://openalex.org/W2053107757","https://openalex.org/W1552148294","https://openalex.org/W2354797847","https://openalex.org/W174255016","https://openalex.org/W2124684568","https://openalex.org/W1583260306","https://openalex.org/W1152672851","https://openalex.org/W2136317684","https://openalex.org/W217012190"],"abstract_inverted_index":{"One":[0],"of":[1,6,16,27,62,70,124,137,141,151],"the":[2,17,60,67,96,119,138,142,149],"many":[3,28],"different":[4],"purposes":[5],"software":[7,29,71],"architecture":[8,18,63,125],"descriptions":[9,64],"is":[10,57,86],"contributing":[11],"to":[12,21,65,73,154],"an":[13],"early":[14],"analysis":[15],"with":[19,130],"respect":[20],"quality":[22],"attributes.":[23],"The":[24],"critical":[25],"nature":[26],"systems":[30],"calls":[31],"for":[32],"formal":[33,68,122],"approaches":[34],"aiming":[35],"at":[36,118],"precisely":[37],"verifying":[38],"if":[39],"their":[40,75],"designed":[41],"architectures":[42,72],"can":[43],"meet":[44],"important":[45,152],"properties":[46],"such":[47,81],"as":[48,77,79],"consistency,":[49],"completeness,":[50],"and":[51,85,91,114,135,147],"correctness.":[52],"In":[53],"this":[54,100,145],"context,":[55],"it":[56],"worthwhile":[58],"investigating":[59],"role":[61],"support":[66],"verification":[69,92,123],"ensure":[74],"quality,":[76],"well":[78],"how":[80],"a":[82,106,132],"process":[83],"happens":[84],"supported":[87],"by":[88],"existing":[89],"languages":[90],"tools.":[93],"To":[94],"evaluate":[95],"research":[97],"landscape":[98],"on":[99,121,144],"subject,":[101],"we":[102,112],"have":[103],"carried":[104],"out":[105],"systematic":[107],"mapping":[108],"study":[109],"in":[110,157],"which":[111],"collected":[113],"analyzed":[115],"studies":[116],"available":[117],"literature":[120],"descriptions.":[126],"This":[127],"work":[128],"contributes":[129],"(i)":[131],"structured":[133],"overview":[134],"taxonomy":[136],"current":[139],"state":[140],"art":[143],"topic":[146],"(ii)":[148],"elicitation":[150],"issues":[153],"be":[155],"addressed":[156],"future":[158],"research.":[159]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}