{"id":"https://openalex.org/W39437227","doi":null,"title":"Model-Based Testing of Distributed Systems","display_name":"Model-Based Testing of Distributed Systems","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W39437227","mag":"39437227"},"language":"en","primary_location":{"id":"pmh:oai:queensu.scholaris.ca:1974/36768","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/1974/36768","pdf_url":"https://queensu.scholaris.ca/bitstreams/22daa9b9-e949-40c4-b109-b53cb1697e39/download","source":{"id":"https://openalex.org/S4306402568","display_name":"QSpace (Queen's University Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I204722609","host_organization_name":"Queen's University","host_organization_lineage":["https://openalex.org/I204722609"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"technical report"},"volume":null,"type":"report","is_traditional":false,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://queensu.scholaris.ca/bitstreams/22daa9b9-e949-40c4-b109-b53cb1697e39/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061713871","display_name":"Ahmad A. Saifan","orcid":"https://orcid.org/0000-0002-4974-8939","observed_orcids":["https://orcid.org/0000-0002-4974-8939"]},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]},{"id":"https://openalex.org/I4210096394","display_name":"Queens University","ror":"https://ror.org/00strmv13","country_code":"BD","type":"education","lineage":["https://openalex.org/I4210096394"]}],"countries":["BD","CA"],"is_corresponding":false,"raw_author_name":"Ahmad A. Saifan","raw_affiliation_strings":["Queen's University"],"raw_orcid":"https://orcid.org/0000-0002-4974-8939","affiliations":[{"raw_affiliation_string":"Queen's University","institution_ids":["https://openalex.org/I204722609","https://openalex.org/I4210096394"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109500444","display_name":"Juergen Dingel A","orcid":"https://orcid.org/0000-0002-4478-9782","observed_orcids":["https://orcid.org/0000-0002-4478-9782"]},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]},{"id":"https://openalex.org/I4210096394","display_name":"Queens University","ror":"https://ror.org/00strmv13","country_code":"BD","type":"education","lineage":["https://openalex.org/I4210096394"]}],"countries":["BD","CA"],"is_corresponding":false,"raw_author_name":"Juergen Dingel","raw_affiliation_strings":["Queen's University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Queen's University","institution_ids":["https://openalex.org/I204722609","https://openalex.org/I4210096394"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9970999956130981,"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.9970999956130981,"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/T12127","display_name":"Software System Performance and Reliability","score":0.0008999999845400453,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.0005000000237487257,"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/model-based-testing","display_name":"model-based testing","score":1.0},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"distributed systems","score":0.8889999985694885},{"id":"https://openalex.org/keywords/software-testing","display_name":"software testing","score":0.656000018119812},{"id":"https://openalex.org/keywords/security-testing","display_name":"security testing","score":0.7009999752044678},{"id":"https://openalex.org/keywords/performance-testing","display_name":"performance testing","score":0.9950000047683716},{"id":"https://openalex.org/keywords/reliability-testing","display_name":"reliability testing","score":0.8970000147819519},{"id":"https://openalex.org/keywords/correctness-testing","display_name":"correctness testing","score":0.8889999985694885}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8027588725090027},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7082474231719971},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5750653743743896},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.48342955112457275},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4733857214450836},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19320949912071228},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12883886694908142},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:queensu.scholaris.ca:1974/36768","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/1974/36768","pdf_url":"https://queensu.scholaris.ca/bitstreams/22daa9b9-e949-40c4-b109-b53cb1697e39/download","source":{"id":"https://openalex.org/S4306402568","display_name":"QSpace (Queen's University Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I204722609","host_organization_name":"Queen's University","host_organization_lineage":["https://openalex.org/I204722609"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"technical report"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.211.8934","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.8934","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ftp.qucis.queensu.ca/TechReports/Reports/2008-548.pdf","raw_type":"text"},{"id":"mag:39437227","doi":null,"is_oa":false,"landing_page_url":"http://research.cs.queensu.ca/TechReports/Reports/2008-548.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:queensu.scholaris.ca:1974/36768","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/1974/36768","pdf_url":"https://queensu.scholaris.ca/bitstreams/22daa9b9-e949-40c4-b109-b53cb1697e39/download","source":{"id":"https://openalex.org/S4306402568","display_name":"QSpace (Queen's University Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I204722609","host_organization_name":"Queen's University","host_organization_lineage":["https://openalex.org/I204722609"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"technical report"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W39437227.pdf","grobid_xml":"https://content.openalex.org/works/W39437227.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W1537202","https://openalex.org/W73919933","https://openalex.org/W92569028","https://openalex.org/W123916425","https://openalex.org/W141410480","https://openalex.org/W1482002366","https://openalex.org/W1483143768","https://openalex.org/W1486178352","https://openalex.org/W1501347099","https://openalex.org/W1508143344","https://openalex.org/W1514872996","https://openalex.org/W1518754760","https://openalex.org/W1539457702","https://openalex.org/W1542343574","https://openalex.org/W1548965508","https://openalex.org/W1551846517","https://openalex.org/W1554130893","https://openalex.org/W1554195710","https://openalex.org/W1555489929","https://openalex.org/W1560802117","https://openalex.org/W1562611875","https://openalex.org/W1567645817","https://openalex.org/W1571561263","https://openalex.org/W1604301660","https://openalex.org/W1821489642","https://openalex.org/W1896160926","https://openalex.org/W1989362795","https://openalex.org/W2005150099","https://openalex.org/W2023451387","https://openalex.org/W2040502652","https://openalex.org/W2075379212","https://openalex.org/W2092422674","https://openalex.org/W2093056009","https://openalex.org/W2098019984","https://openalex.org/W2099529102","https://openalex.org/W2103334831","https://openalex.org/W2106160821","https://openalex.org/W2109811698","https://openalex.org/W2109926023","https://openalex.org/W2113355185","https://openalex.org/W2113780769","https://openalex.org/W2114897686","https://openalex.org/W2117276265","https://openalex.org/W2118937568","https://openalex.org/W2122796178","https://openalex.org/W2123023940","https://openalex.org/W2125708466","https://openalex.org/W2126590950","https://openalex.org/W2129266623","https://openalex.org/W2131743534","https://openalex.org/W2140528391","https://openalex.org/W2143236904","https://openalex.org/W2144086695","https://openalex.org/W2144956041","https://openalex.org/W2144973245","https://openalex.org/W2147281414","https://openalex.org/W2157361709","https://openalex.org/W2159765281","https://openalex.org/W2165854000","https://openalex.org/W2235126284","https://openalex.org/W2272876477","https://openalex.org/W2292613063","https://openalex.org/W2519026400","https://openalex.org/W4252456459"],"related_works":["https://openalex.org/W3098017962","https://openalex.org/W3083235702","https://openalex.org/W2130422196","https://openalex.org/W2044802586","https://openalex.org/W2623766746","https://openalex.org/W192943836","https://openalex.org/W2119296494","https://openalex.org/W2139587893","https://openalex.org/W2111259997","https://openalex.org/W6891873225"],"abstract_inverted_index":{"This":[0],"paper":[1],"provides":[2,33],"an":[3],"overview":[4],"of":[5,13,24,37,47,74],"Model-Based":[6],"Testing":[7],"(MBT)":[8],"and":[9,55],"its":[10],"activities.A":[11],"classification":[12,67],"MBT":[14,25,39,62],"based":[15,64],"on":[16,65],"different":[17,44,61],"criteria":[18],"is":[19,40,57,68],"also":[20,69],"presented.Furthermore,":[21],"several":[22],"difficulties":[23],"are":[26],"highlighted":[27],"in":[28,42],"this":[29,75],"paper.A":[30],"survey":[31],"that":[32],"a":[34],"detailed":[35],"description":[36],"how":[38],"effective":[41],"testing":[43],"quality":[45],"attributes":[46],"distributed":[48],"systems":[49],"such":[50],"as":[51],"security,":[52],"performance,":[53],"reliability,":[54],"correctness":[56],"given.A":[58],"comparison":[59],"between":[60],"tools":[63],"the":[66,72],"given":[70],"at":[71],"end":[73],"paper.":[76],"I":[77],"would":[78],"like":[79],"to":[80],"express":[81],"my":[82],"gratitude":[83]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}