{"id":"https://openalex.org/W1884742918","doi":"https://doi.org/10.1007/s11704-015-2254-y","title":"A high order collaboration and real time formal model for automatic testing of safety critical systems","display_name":"A high order collaboration and real time formal model for automatic testing of safety critical systems","publication_year":2015,"publication_date":"2015-05-22","ids":{"openalex":"https://openalex.org/W1884742918","doi":"https://doi.org/10.1007/s11704-015-2254-y","mag":"1884742918"},"language":"en","primary_location":{"id":"doi:10.1007/s11704-015-2254-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11704-015-2254-y","pdf_url":null,"source":{"id":"https://openalex.org/S4210231404","display_name":"Frontiers of Computer Science","issn_l":"2095-2228","issn":["2095-2228","2095-2236"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311889","host_organization_name":"Higher Education Press","host_organization_lineage":["https://openalex.org/P4310311889"],"host_organization_lineage_names":["Higher Education Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers of Computer Science","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/A5112411492","display_name":"Jianghua Lv","orcid":null},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jianghua Lv","raw_affiliation_strings":["State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, 100191, China","State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, China 100191#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, 100191, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, China 100191#TAB#","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109837212","display_name":"Shilong Ma","orcid":"https://orcid.org/0009-0004-4811-9657"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shilong Ma","raw_affiliation_strings":["State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, 100191, China","State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, China 100191#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, 100191, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, China 100191#TAB#","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031481197","display_name":"Xianjun Li","orcid":"https://orcid.org/0000-0002-4577-3512"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xianjun Li","raw_affiliation_strings":["State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, 100191, China","State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, China 100191#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, 100191, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, China 100191#TAB#","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051859917","display_name":"Jiangong Song","orcid":"https://orcid.org/0000-0001-5430-3902"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiangong Song","raw_affiliation_strings":["State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, 100191, China","State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, China 100191#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, 100191, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing, China 100191#TAB#","institution_ids":["https://openalex.org/I82880672"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5112411492"],"corresponding_institution_ids":["https://openalex.org/I82880672"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.5559,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71298581,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"9","issue":"4","first_page":"495","last_page":"510"},"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.9995999932289124,"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.9995999932289124,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9988999962806702,"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.8638159036636353},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7907246351242065},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.6258606910705566},{"id":"https://openalex.org/keywords/test-strategy","display_name":"Test strategy","score":0.5674594044685364},{"id":"https://openalex.org/keywords/manual-testing","display_name":"Manual testing","score":0.5601621866226196},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.5476396083831787},{"id":"https://openalex.org/keywords/system-under-test","display_name":"System under test","score":0.5288292765617371},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5204280018806458},{"id":"https://openalex.org/keywords/keyword-driven-testing","display_name":"Keyword-driven testing","score":0.48918417096138},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.4598025381565094},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.45670413970947266},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4462491273880005},{"id":"https://openalex.org/keywords/non-regression-testing","display_name":"Non-regression testing","score":0.43573668599128723},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4061892032623291},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3678244948387146},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2188432812690735},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1414579153060913},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.12063828110694885},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1087711751461029}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8638159036636353},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7907246351242065},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.6258606910705566},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.5674594044685364},{"id":"https://openalex.org/C182122060","wikidata":"https://www.wikidata.org/wiki/Q6752328","display_name":"Manual testing","level":5,"score":0.5601621866226196},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.5476396083831787},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.5288292765617371},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5204280018806458},{"id":"https://openalex.org/C169168650","wikidata":"https://www.wikidata.org/wiki/Q1675637","display_name":"Keyword-driven testing","level":5,"score":0.48918417096138},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.4598025381565094},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.45670413970947266},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4462491273880005},{"id":"https://openalex.org/C86469151","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Non-regression testing","level":5,"score":0.43573668599128723},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4061892032623291},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3678244948387146},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2188432812690735},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1414579153060913},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.12063828110694885},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1087711751461029},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11704-015-2254-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11704-015-2254-y","pdf_url":null,"source":{"id":"https://openalex.org/S4210231404","display_name":"Frontiers of Computer Science","issn_l":"2095-2228","issn":["2095-2228","2095-2236"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311889","host_organization_name":"Higher Education Press","host_organization_lineage":["https://openalex.org/P4310311889"],"host_organization_lineage_names":["Higher Education Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1492720468","https://openalex.org/W1515223405","https://openalex.org/W1522042272","https://openalex.org/W1541706677","https://openalex.org/W1543189905","https://openalex.org/W1591521007","https://openalex.org/W1790031272","https://openalex.org/W1964990591","https://openalex.org/W1968197232","https://openalex.org/W1988576257","https://openalex.org/W1993151440","https://openalex.org/W2007489624","https://openalex.org/W2011762419","https://openalex.org/W2013672985","https://openalex.org/W2019538814","https://openalex.org/W2024949966","https://openalex.org/W2030749924","https://openalex.org/W2041375159","https://openalex.org/W2085273936","https://openalex.org/W2110062879","https://openalex.org/W2114754412","https://openalex.org/W2119860153","https://openalex.org/W2126818664","https://openalex.org/W2128932399","https://openalex.org/W2141407780","https://openalex.org/W2143236904","https://openalex.org/W2144956041","https://openalex.org/W2371395929","https://openalex.org/W2561675875","https://openalex.org/W2912003593","https://openalex.org/W4238014149","https://openalex.org/W4285719527","https://openalex.org/W6600027015"],"related_works":["https://openalex.org/W2952740084","https://openalex.org/W12495686","https://openalex.org/W2098329690","https://openalex.org/W2165413788","https://openalex.org/W2116248904","https://openalex.org/W632606703","https://openalex.org/W2767512594","https://openalex.org/W2564898834","https://openalex.org/W2098804367","https://openalex.org/W2159267714"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}