乐胖代购免代理版

{"id":"https://openalex.org/W1992029730","doi":"https://doi.org/10.1016/j.entcs.2009.09.055","title":"jSynoPSys \u2013 A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines","display_name":"jSynoPSys \u2013 A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines","publication_year":2009,"publication_date":"2009-10-01","ids":{"openalex":"https://openalex.org/W1992029730","doi":"https://doi.org/10.1016/j.entcs.2009.09.055","mag":"1992029730"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2009.09.055","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1016/j.entcs.2009.09.055","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041596914","display_name":"Fr\u00e9d\u00e9ric Dadeau","orcid":"https://orcid.org/0000-0003-0794-5819"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Dadeau","raw_affiliation_strings":["LIFC - INRIA CASSIS Project, 16 route de Gray, 25030 Besan\u00e7on, France#TAB#"],"affiliations":[{"raw_affiliation_string":"LIFC - INRIA CASSIS Project, 16 route de Gray, 25030 Besan\u00e7on, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048485339","display_name":"R\u00e9gis Tissot","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"R\u00e9gis Tissot","raw_affiliation_strings":["LIFC - INRIA CASSIS Project, 16 route de Gray, 25030 Besan\u00e7on, France#TAB#"],"affiliations":[{"raw_affiliation_string":"LIFC - INRIA CASSIS Project, 16 route de Gray, 25030 Besan\u00e7on, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.133,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":8,"citation_normalized_percentile":{"value":0.822178,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":82,"max":83},"biblio":{"volume":"253","issue":"2","first_page":"117","last_page":"132"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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/T10142","display_name":"Formal Methods in Verification","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9996,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.599031}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7929397},{"id":"https://openalex.org/C502989409","wikidata":"https://www.wikidata.org/wiki/Q11425","display_name":"Animation","level":2,"score":0.7405318},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6020794},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.599031},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5017357},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.49729636},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36197025},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.13943124},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11266512},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08146036},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2009.09.055","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://hal.science/hal-00662911","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":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-00662911","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":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2009.09.055","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":23,"referenced_works":["https://openalex.org/W1491366424","https://openalex.org/W1544621933","https://openalex.org/W1548529454","https://openalex.org/W1571024205","https://openalex.org/W1582439588","https://openalex.org/W1583640562","https://openalex.org/W1583811508","https://openalex.org/W1596127723","https://openalex.org/W1983843822","https://openalex.org/W1996832037","https://openalex.org/W1998017916","https://openalex.org/W2001985931","https://openalex.org/W2004929506","https://openalex.org/W2064343889","https://openalex.org/W2073863764","https://openalex.org/W2076253536","https://openalex.org/W2110311336","https://openalex.org/W2151297712","https://openalex.org/W2161836710","https://openalex.org/W2164209468","https://openalex.org/W2166461985","https://openalex.org/W4285719527","https://openalex.org/W68130004"],"related_works":["https://openalex.org/W4313163053","https://openalex.org/W4306251929","https://openalex.org/W4296190881","https://openalex.org/W4239107164","https://openalex.org/W2905722102","https://openalex.org/W2752815423","https://openalex.org/W2532377291","https://openalex.org/W2155539595","https://openalex.org/W2045155990","https://openalex.org/W2000013817"],"abstract_inverted_index":{"This":[0,16],"paper":[1],"presents":[2],"the":[3,8,27,30,43,51,83,91,94],"jSynoPSys":[4],"tool":[5,48],"that":[6,37,76,87],"implements":[7],"concept":[9],"of":[10,29,70,82],"Scenario-Based":[11,72],"Testing":[12,73],"from":[13,64],"B":[14,65],"machines.":[15,66],"consists":[17],"in":[18],"describing":[19],"execution":[20],"scenarios,":[21],"expressed":[22],"as":[23],"regular":[24],"expressions":[25],"over":[26],"operations":[28],"system,":[31],"coupled":[32],"with":[33],"intermediate":[34],"system":[35],"states":[36],"have":[38],"to":[39,56],"be":[40],"reached":[41],"when":[42,93],"scenario":[44,95],"is":[45,75],"unfolded.":[46],"The":[47,67],"relies":[49],"on":[50],"BZ-Testing-Tools":[52],"engine,":[53],"originally":[54],"designed":[55],"perform":[57],"symbolic":[58],"animation":[59],"and":[60],"boundary":[61],"test":[62],"generation":[63],"main":[68],"advantage":[69],"our":[71],"technique":[74],"it":[77],"performs":[78],"a":[79],"full":[80],"abstraction":[81],"operation":[84],"parameter":[85],"values,":[86],"are":[88],"instantiated":[89],"at":[90],"end,":[92],"has":[96],"been":[97],"completely":[98],"unfolded,":[99],"using":[100],"constraint":[101],"solving":[102],"techniques.":[103]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1992029730","counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2025-04-18T08:19:26.355127","created_date":"2016-06-24"}