{"id":"https://openalex.org/W2042706273","doi":"https://doi.org/10.3103/s0146411614070062","title":"A formal approach to test scenarios generation based on guides","display_name":"A formal approach to test scenarios generation based on guides","publication_year":2014,"publication_date":"2014-12-01","ids":{"openalex":"https://openalex.org/W2042706273","doi":"https://doi.org/10.3103/s0146411614070062","mag":"2042706273"},"language":"en","primary_location":{"id":"doi:10.3103/s0146411614070062","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411614070062","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","raw_type":"journal-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/A5077931587","display_name":"Pavel Drobintsev","orcid":"https://orcid.org/0000-0003-1116-7765"},"institutions":[{"id":"https://openalex.org/I212220629","display_name":"Peter the Great St. Petersburg Polytechnic University","ror":"https://ror.org/02x91aj62","country_code":"RU","type":"education","lineage":["https://openalex.org/I212220629"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"P. D. Drobintsev","raw_affiliation_strings":["Saint-Petersburg State Polytechnic University, St. Petersburg, Russia","Saint-Petersburg State Polytechnic University#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Saint-Petersburg State Polytechnic University, St. Petersburg, Russia","institution_ids":["https://openalex.org/I212220629"]},{"raw_affiliation_string":"Saint-Petersburg State Polytechnic University#TAB#","institution_ids":["https://openalex.org/I212220629"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109579961","display_name":"V. P. Kotlyarov","orcid":null},"institutions":[{"id":"https://openalex.org/I212220629","display_name":"Peter the Great St. Petersburg Polytechnic University","ror":"https://ror.org/02x91aj62","country_code":"RU","type":"education","lineage":["https://openalex.org/I212220629"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"V. P. Kotlyarov","raw_affiliation_strings":["Saint-Petersburg State Polytechnic University, St. Petersburg, Russia","Saint-Petersburg State Polytechnic University#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Saint-Petersburg State Polytechnic University, St. Petersburg, Russia","institution_ids":["https://openalex.org/I212220629"]},{"raw_affiliation_string":"Saint-Petersburg State Polytechnic University#TAB#","institution_ids":["https://openalex.org/I212220629"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057493460","display_name":"A. A. Letichevsky","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156878","display_name":"V.M. Glushkov Institute of Cybernetics","ror":"https://ror.org/05xmg2z40","country_code":"UA","type":"facility","lineage":["https://openalex.org/I149851306","https://openalex.org/I4210156878"]}],"countries":["UA"],"is_corresponding":false,"raw_author_name":"A. A. Letichevsky","raw_affiliation_strings":["Glushkov Institute of Cybernetics, Kiev, Ukraine","Glushkov Institute of Cybernetics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Glushkov Institute of Cybernetics, Kiev, Ukraine","institution_ids":["https://openalex.org/I4210156878"]},{"raw_affiliation_string":"Glushkov Institute of Cybernetics","institution_ids":["https://openalex.org/I4210156878"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5109579961"],"corresponding_institution_ids":["https://openalex.org/I212220629"],"apc_list":null,"apc_paid":null,"fwci":0.3877,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.68593273,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"48","issue":"7","first_page":"415","last_page":"423"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.8633000254631042,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.8633000254631042,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8194000124931335,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.800000011920929,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/computer-science","display_name":"Computer science","score":0.8489947319030762},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.6742708683013916},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.6472074389457703},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6014470458030701},{"id":"https://openalex.org/keywords/test-management-approach","display_name":"Test Management Approach","score":0.49235737323760986},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.459987074136734},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.45402106642723083},{"id":"https://openalex.org/keywords/test-harness","display_name":"Test harness","score":0.4502515196800232},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.4153313934803009},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4021245241165161},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.30602818727493286},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.22499912977218628},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17839622497558594},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.08386611938476562}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8489947319030762},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.6742708683013916},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.6472074389457703},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6014470458030701},{"id":"https://openalex.org/C7435765","wikidata":"https://www.wikidata.org/wiki/Q7705776","display_name":"Test Management Approach","level":5,"score":0.49235737323760986},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.459987074136734},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.45402106642723083},{"id":"https://openalex.org/C109852812","wikidata":"https://www.wikidata.org/wiki/Q2406355","display_name":"Test harness","level":5,"score":0.4502515196800232},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.4153313934803009},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4021245241165161},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.30602818727493286},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.22499912977218628},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17839622497558594},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.08386611938476562},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3103/s0146411614070062","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411614070062","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","display_name":"Climate action","score":0.5199999809265137}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W183272329","https://openalex.org/W2498739743","https://openalex.org/W2894919594"],"related_works":["https://openalex.org/W2243231242","https://openalex.org/W3175215928","https://openalex.org/W2497772001","https://openalex.org/W2122987706","https://openalex.org/W1598160211","https://openalex.org/W2049871268","https://openalex.org/W2366485096","https://openalex.org/W2085646369","https://openalex.org/W2204156854","https://openalex.org/W1968494916"],"abstract_inverted_index":{"The":[0,58],"paper":[1],"provides":[2],"an":[3],"overview":[4],"of":[5,10,20,23,31,36,40,50,52],"a":[6,17,48,69],"guide-based":[7],"automated":[8,62],"technology":[9],"test":[11,65,79],"scenario":[12],"generation":[13,67],"which":[14],"allows":[15],"for":[16,76],"substantial":[18],"increase":[19],"the":[21,29,56],"quality":[22],"software":[24,53],"being":[25],"developed.":[26],"To":[27],"justify":[28],"creation":[30],"this":[32],"technology,":[33],"major":[34],"problems":[35],"development":[37],"and":[38,63,74,78],"testing":[39],"large":[41],"industrial":[42],"systems":[43],"are":[44,81],"described":[45],"along":[46],"with":[47,55],"technique":[49],"verification":[51,77],"compliance":[54],"requirements.":[57],"tools":[59],"capabilities":[60],"in":[61,72],"semi-automated":[64],"suite":[66],"from":[68],"formal":[70],"model":[71],"UCM":[73],"means":[75],"automation":[80],"demonstrated.":[82]},"counts_by_year":[{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-10T00:00:00"}