{"id":"https://openalex.org/W2020660308","doi":"https://doi.org/10.1007/s00165-005-0085-6","title":"Testing methods for X-machines: a review","display_name":"Testing methods for X-machines: a review","publication_year":2006,"publication_date":"2006-01-25","ids":{"openalex":"https://openalex.org/W2020660308","doi":"https://doi.org/10.1007/s00165-005-0085-6","mag":"2020660308"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-005-0085-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-005-0085-6","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-005-0085-6","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"review","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-005-0085-6","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050598206","display_name":"Kirill Bogdanov","orcid":"https://orcid.org/0000-0002-4466-7320"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"K. Bogdanov","raw_affiliation_strings":["Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello St., S1 4DP, Sheffield, UK","Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello St., S1 4DP, Sheffield, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello St., S1 4DP, Sheffield, UK","institution_ids":["https://openalex.org/I91136226"]},{"raw_affiliation_string":"Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello St., S1 4DP, Sheffield, UK#TAB#","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031576868","display_name":"Mike Holcombe","orcid":null},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"M. Holcombe","raw_affiliation_strings":["Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello St., S1 4DP, Sheffield, UK","Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello St., S1 4DP, Sheffield, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello St., S1 4DP, Sheffield, UK","institution_ids":["https://openalex.org/I91136226"]},{"raw_affiliation_string":"Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello St., S1 4DP, Sheffield, UK#TAB#","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026005083","display_name":"Florentin Ipate","orcid":"https://orcid.org/0000-0001-8777-3425"},"institutions":[{"id":"https://openalex.org/I185286233","display_name":"University of Pitesti","ror":"https://ror.org/058b16x44","country_code":"RO","type":"education","lineage":["https://openalex.org/I185286233"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"F. Ipate","raw_affiliation_strings":["Department of Computer Science and Mathematics, University of Pitesti, Str Targu din Vale 1, 0300, Pitesti, Romania"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Mathematics, University of Pitesti, Str Targu din Vale 1, 0300, Pitesti, Romania","institution_ids":["https://openalex.org/I185286233"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081831118","display_name":"N.L. Seed","orcid":"https://orcid.org/0000-0003-4648-5616"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"L. Seed","raw_affiliation_strings":["Department of Electronic & Electrical Engineering, The University of Sheffield, Mappin St., S1 3JD, Sheffield, UK","Department of Electronic & Electrical Engineering, The University of Sheffield, Mappin St., S1 3JD, Sheffield, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Electronic & Electrical Engineering, The University of Sheffield, Mappin St., S1 3JD, Sheffield, UK","institution_ids":["https://openalex.org/I91136226"]},{"raw_affiliation_string":"Department of Electronic & Electrical Engineering, The University of Sheffield, Mappin St., S1 3JD, Sheffield, UK#TAB#","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034388340","display_name":"Salim K. Vanak","orcid":null},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"S. Vanak","raw_affiliation_strings":["Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello St., S1 4DP, Sheffield, UK","Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello St., S1 4DP, Sheffield, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello St., S1 4DP, Sheffield, UK","institution_ids":["https://openalex.org/I91136226"]},{"raw_affiliation_string":"Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello St., S1 4DP, Sheffield, UK#TAB#","institution_ids":["https://openalex.org/I91136226"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5050598206"],"corresponding_institution_ids":["https://openalex.org/I91136226"],"apc_list":null,"apc_paid":null,"fwci":6.1913,"has_fulltext":true,"cited_by_count":34,"citation_normalized_percentile":{"value":0.96253041,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"18","issue":"1","first_page":"3","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7084819078445435},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6443420648574829},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.5803141593933105},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44334012269973755},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.44205379486083984},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.42873457074165344},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.4239307641983032},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.391896516084671},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3464391827583313},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2245766520500183},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.2243802547454834},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.14272475242614746},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08632630109786987}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7084819078445435},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6443420648574829},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.5803141593933105},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44334012269973755},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.44205379486083984},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.42873457074165344},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.4239307641983032},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.391896516084671},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3464391827583313},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2245766520500183},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.2243802547454834},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.14272475242614746},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08632630109786987},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00165-005-0085-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-005-0085-6","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-005-0085-6","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.114.2203","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.2203","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dcs.shef.ac.uk/~wmlh/bogdanov.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1007/s00165-005-0085-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-005-0085-6","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-005-0085-6","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2020660308.pdf","grobid_xml":"https://content.openalex.org/works/W2020660308.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W53742805","https://openalex.org/W1505618619","https://openalex.org/W1535434399","https://openalex.org/W1538137835","https://openalex.org/W1577937387","https://openalex.org/W1717105685","https://openalex.org/W1787500456","https://openalex.org/W1968359650","https://openalex.org/W1981351287","https://openalex.org/W1992639336","https://openalex.org/W1998333922","https://openalex.org/W2002828015","https://openalex.org/W2004929506","https://openalex.org/W2005453221","https://openalex.org/W2011762419","https://openalex.org/W2020382180","https://openalex.org/W2033996441","https://openalex.org/W2039659675","https://openalex.org/W2047916890","https://openalex.org/W2054230624","https://openalex.org/W2056235294","https://openalex.org/W2061317765","https://openalex.org/W2080205867","https://openalex.org/W2094837025","https://openalex.org/W2095294063","https://openalex.org/W2100596986","https://openalex.org/W2105394284","https://openalex.org/W2112640524","https://openalex.org/W2116572051","https://openalex.org/W2117306206","https://openalex.org/W2119683575","https://openalex.org/W2125831829","https://openalex.org/W2126123335","https://openalex.org/W2126308222","https://openalex.org/W2128475506","https://openalex.org/W2129395888","https://openalex.org/W2134845608","https://openalex.org/W2143578569","https://openalex.org/W2167954650","https://openalex.org/W2177967933","https://openalex.org/W2495746187","https://openalex.org/W2620994269","https://openalex.org/W4234926278"],"related_works":["https://openalex.org/W1984757784","https://openalex.org/W1930516042","https://openalex.org/W1985609535","https://openalex.org/W1585256267","https://openalex.org/W2030888138","https://openalex.org/W2114226943","https://openalex.org/W1546246283","https://openalex.org/W593718774","https://openalex.org/W1850780911","https://openalex.org/W1560313945"],"abstract_inverted_index":{"Abstract":[0],"The":[1,25],"X-machine":[2,109],"testing":[3,15,88,110,114,119,126,137,149],"method":[4,26],"has":[5],"been":[6,78,95],"developed":[7],"as":[8,56],"an":[9,20,49],"application":[10],"of":[11,19,33,36,43,59,72,86,92,107,115,120,127,138,150,153],"the":[12,16,31,34,37,60,83,87,98,105,108],"W-method":[13],"to":[14,29,40,53],"control":[17,75],"structure":[18,76],"implementation,":[21],"against":[22,131,142,159],"a":[23,41,46,69,73,90,121,128,132,139,143,151,160],"specification.":[24,161],"was":[27],"proven":[28],"demonstrate":[30],"equivalence":[32,125,148],"behaviour":[35],"two,":[38],"subject":[39],"number":[42,91],"conditions":[44],"both":[45],"specification":[47,74,145],"and":[48,62,146,156],"implementation":[50,130,141],"are":[51],"expected":[52],"satisfy,":[54],"such":[55],"(1)":[57,113],"determinism":[58],"two":[61],"(2)":[63,124],"that":[64],"functions":[65,116],"labelling":[66],"arcs":[67],"on":[68],"transition":[70,122],"diagram":[71],"have":[77,94],"tested":[79],"in":[80],"advance.":[81],"Since":[82],"original":[84],"publication":[85],"method,":[89,111],"extensions":[93,106],"published,":[96],"removing":[97],"restrictions":[99],"mentioned":[100],"above.":[101],"This":[102],"paper":[103],"surveys":[104],"for":[112],"together":[117],"with":[118],"diagram,":[123],"non-deterministic":[129,133,144],"specification,":[134],"(3)":[135],"conformance":[136],"deterministic":[140],"(4)":[147],"system":[152],"concurrently":[154],"executing":[155],"communicating":[157],"X-machines,":[158]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}