{"id":"https://openalex.org/W2020382180","doi":"https://doi.org/10.1007/s00165-004-0045-6","title":"Complete deterministic stream X-machine testing","display_name":"Complete deterministic stream X-machine testing","publication_year":2004,"publication_date":"2004-06-01","ids":{"openalex":"https://openalex.org/W2020382180","doi":"https://doi.org/10.1007/s00165-004-0045-6","mag":"2020382180"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-004-0045-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-004-0045-6","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-004-0045-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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-004-0045-6","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","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":true,"raw_author_name":"Florentin Ipate","raw_affiliation_strings":["Department of Computer Science and Mathematics, University of Pitesti, Str Targu din Vale 1, 0300, Pitesti, Romania","University of Pitesti, Department of Computer Science and Mathematics, Str Targu din Vale 1, 0300, Pitesti, Romania#TAB#"],"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"]},{"raw_affiliation_string":"University of Pitesti, Department of Computer Science and Mathematics, Str Targu din Vale 1, 0300, Pitesti, Romania#TAB#","institution_ids":["https://openalex.org/I185286233"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5026005083"],"corresponding_institution_ids":["https://openalex.org/I185286233"],"apc_list":null,"apc_paid":null,"fwci":2.17414051,"has_fulltext":true,"cited_by_count":20,"citation_normalized_percentile":{"value":0.87606112,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"16","issue":"4","first_page":"374","last_page":"386"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991000294685364,"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/correctness","display_name":"Correctness","score":0.8263376951217651},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.781780481338501},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6636404395103455},{"id":"https://openalex.org/keywords/integration-testing","display_name":"Integration testing","score":0.6000071167945862},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5386884212493896},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5277284383773804},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.46653395891189575},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4225144386291504},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3908903896808624},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3356059789657593},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.09532931447029114},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.07404783368110657}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8263376951217651},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.781780481338501},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6636404395103455},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.6000071167945862},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5386884212493896},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5277284383773804},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.46653395891189575},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4225144386291504},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3908903896808624},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3356059789657593},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09532931447029114},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.07404783368110657},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-004-0045-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-004-0045-6","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-004-0045-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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00165-004-0045-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-004-0045-6","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-004-0045-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":null,"license_id":null,"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/W2020382180.pdf","grobid_xml":"https://content.openalex.org/works/W2020382180.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W53742805","https://openalex.org/W64215366","https://openalex.org/W1517535843","https://openalex.org/W1538137835","https://openalex.org/W1569640687","https://openalex.org/W1717105685","https://openalex.org/W1779167701","https://openalex.org/W1915164097","https://openalex.org/W1992639336","https://openalex.org/W2002828015","https://openalex.org/W2004929506","https://openalex.org/W2005453221","https://openalex.org/W2011762419","https://openalex.org/W2013819428","https://openalex.org/W2020399668","https://openalex.org/W2047916890","https://openalex.org/W2054230624","https://openalex.org/W2056235294","https://openalex.org/W2061317765","https://openalex.org/W2080205867","https://openalex.org/W2090255520","https://openalex.org/W2094837025","https://openalex.org/W2095294063","https://openalex.org/W2116572051","https://openalex.org/W2119683575","https://openalex.org/W2128475506","https://openalex.org/W2620994269"],"related_works":["https://openalex.org/W2772436979","https://openalex.org/W2066305403","https://openalex.org/W2033140592","https://openalex.org/W2886756146","https://openalex.org/W2766263634","https://openalex.org/W4230389880","https://openalex.org/W2225555312","https://openalex.org/W1988901622","https://openalex.org/W2949104238","https://openalex.org/W4286797010"],"abstract_inverted_index":{"Abstract.":[0],"One":[1],"of":[2,5,35,46,100,116],"the":[3,33,39,44,56,66,88,98,101,110,114,117,124],"strengths":[4],"using":[6],"stream":[7,83],"X-machines":[8],"to":[9,23,31,52,104,109],"specify":[10],"a":[11,25,73,81],"system":[12,67],"is":[13,21,29,50,120],"that,":[14],"under":[15],"certain":[16],"well":[17],"defined":[18],"conditions,":[19],"it":[20,63],"possible":[22],"produce":[24],"test":[26,65,78],"set":[27],"that":[28,43,86],"guaranteed":[30],"determine":[32],"correctness":[34],"an":[36],"implementation.":[37],"However,":[38],"existing":[40,89],"method":[41,75,94],"assumes":[42],"implementation":[45],"each":[47],"processing":[48,102,118],"function":[49],"proved":[51,106],"be":[53,105],"correct":[54,107],"before":[55],"actual":[57,111],"testing":[58,91,115],"can":[59],"take":[60],"place,":[61],"so":[62],"only":[64],"integration":[68,90,125],".":[69],"This":[70,93],"paper":[71],"presents":[72],"new":[74],"for":[76],"generating":[77],"sets":[79],"from":[80],"deterministic":[82],"X-machine":[84],"specification":[85],"generalises":[87],"method.":[92],"no":[95],"longer":[96],"requires":[97],"implementations":[99],"functions":[103,119],"prior":[108],"testing.":[112,126],"Instead,":[113],"performed":[121],"along":[122],"with":[123]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}