{"id":"https://openalex.org/W3036522548","doi":"https://doi.org/10.1145/3397873","title":"Model-based Testing of Interactive Systems using Interaction Sequences","display_name":"Model-based Testing of Interactive Systems using Interaction Sequences","publication_year":2020,"publication_date":"2020-06-18","ids":{"openalex":"https://openalex.org/W3036522548","doi":"https://doi.org/10.1145/3397873","mag":"3036522548"},"language":"en","primary_location":{"id":"doi:10.1145/3397873","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3397873","pdf_url":null,"source":{"id":"https://openalex.org/S4210183893","display_name":"Proceedings of the ACM on Human-Computer Interaction","issn_l":"2573-0142","issn":["2573-0142"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Human-Computer Interaction","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/A5010629639","display_name":"Jessica Turner","orcid":"https://orcid.org/0000-0002-7623-882X"},"institutions":[{"id":"https://openalex.org/I52179390","display_name":"University of Waikato","ror":"https://ror.org/013fsnh78","country_code":"NZ","type":"education","lineage":["https://openalex.org/I52179390"]}],"countries":["NZ"],"is_corresponding":true,"raw_author_name":"Jessica Turner","raw_affiliation_strings":["The University of Waikato, Tauranga, New Zealand"],"affiliations":[{"raw_affiliation_string":"The University of Waikato, Tauranga, New Zealand","institution_ids":["https://openalex.org/I52179390"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072140657","display_name":"Judy Bowen","orcid":"https://orcid.org/0000-0003-2815-8267"},"institutions":[{"id":"https://openalex.org/I52179390","display_name":"University of Waikato","ror":"https://ror.org/013fsnh78","country_code":"NZ","type":"education","lineage":["https://openalex.org/I52179390"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Judy Bowen","raw_affiliation_strings":["The University of Waikato, Hamilton, New Zealand"],"affiliations":[{"raw_affiliation_string":"The University of Waikato, Hamilton, New Zealand","institution_ids":["https://openalex.org/I52179390"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084137497","display_name":"Steve Reeves","orcid":"https://orcid.org/0000-0002-3840-6060"},"institutions":[{"id":"https://openalex.org/I52179390","display_name":"University of Waikato","ror":"https://ror.org/013fsnh78","country_code":"NZ","type":"education","lineage":["https://openalex.org/I52179390"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Steve Reeves","raw_affiliation_strings":["The University of Waikato, Hamilton, New Zealand"],"affiliations":[{"raw_affiliation_string":"The University of Waikato, Hamilton, New Zealand","institution_ids":["https://openalex.org/I52179390"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5010629639"],"corresponding_institution_ids":["https://openalex.org/I52179390"],"apc_list":null,"apc_paid":null,"fwci":0.9115,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.74920635,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":"4","issue":"EICS","first_page":"1","last_page":"37"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991999864578247,"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.9980000257492065,"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/component","display_name":"Component (thermodynamics)","score":0.7740426063537598},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7527236342430115},{"id":"https://openalex.org/keywords/interactive-computing","display_name":"Interactive computing","score":0.7238461971282959},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.5951812267303467},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5716365575790405},{"id":"https://openalex.org/keywords/interactive-design","display_name":"Interactive design","score":0.544701337814331},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.48244696855545044},{"id":"https://openalex.org/keywords/functional-requirement","display_name":"Functional requirement","score":0.4702678620815277},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.44688883423805237},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.24228423833847046},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11542865633964539},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.0807453989982605}],"concepts":[{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7740426063537598},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7527236342430115},{"id":"https://openalex.org/C40866790","wikidata":"https://www.wikidata.org/wiki/Q956238","display_name":"Interactive computing","level":2,"score":0.7238461971282959},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5951812267303467},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5716365575790405},{"id":"https://openalex.org/C86297840","wikidata":"https://www.wikidata.org/wiki/Q6045397","display_name":"Interactive design","level":2,"score":0.544701337814331},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.48244696855545044},{"id":"https://openalex.org/C62235348","wikidata":"https://www.wikidata.org/wiki/Q3264234","display_name":"Functional requirement","level":2,"score":0.4702678620815277},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.44688883423805237},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.24228423833847046},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11542865633964539},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0807453989982605},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","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},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3397873","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3397873","pdf_url":null,"source":{"id":"https://openalex.org/S4210183893","display_name":"Proceedings of the ACM on Human-Computer Interaction","issn_l":"2573-0142","issn":["2573-0142"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Human-Computer Interaction","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W84690726","https://openalex.org/W1481814834","https://openalex.org/W1564467619","https://openalex.org/W1572476553","https://openalex.org/W1608087281","https://openalex.org/W1942768198","https://openalex.org/W1972031006","https://openalex.org/W1972065960","https://openalex.org/W1994654331","https://openalex.org/W1996974848","https://openalex.org/W2004921952","https://openalex.org/W2010666546","https://openalex.org/W2013856010","https://openalex.org/W2025802550","https://openalex.org/W2033664446","https://openalex.org/W2108945126","https://openalex.org/W2117141328","https://openalex.org/W2139666195","https://openalex.org/W2149562144","https://openalex.org/W2165503132","https://openalex.org/W2170806228","https://openalex.org/W2400273477","https://openalex.org/W2484778760","https://openalex.org/W2566713145","https://openalex.org/W2594580537","https://openalex.org/W2625115876","https://openalex.org/W2731603508","https://openalex.org/W2902323098","https://openalex.org/W2996975866","https://openalex.org/W4232401678","https://openalex.org/W4245869620","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W2062732602","https://openalex.org/W1981205567","https://openalex.org/W4211243145","https://openalex.org/W2990190520","https://openalex.org/W2366895139","https://openalex.org/W2017755247","https://openalex.org/W307486905","https://openalex.org/W2382438876","https://openalex.org/W2565226525","https://openalex.org/W3036522548"],"abstract_inverted_index":{"Testing":[0],"is":[1,50],"an":[2],"important":[3],"part":[4],"of":[5,33,53,62],"the":[6,30,34,42,51,54,57,59,63,67,70,74,111],"software":[7],"engineering":[8],"process":[9],"to":[10,109,116],"help":[11],"ensure":[12,117],"that":[13,118],"systems":[14,37],"will":[15],"behave":[16],"as":[17,121],"expected.":[18,122],"In":[19],"this":[20,99],"paper":[21,100],"we":[22,101],"investigate":[23],"interactive":[24,48,55,64,75,81],"system":[25],"testing,":[26],"taking":[27],"into":[28],"consideration":[29],"different":[31,40],"components":[32,78,84,95],"system.":[35],"Interactive":[36],"have":[38],"three":[39],"components,":[41],"interactive,":[43],"functional":[44,58,77,83],"and":[45,66,76,82,115],"overlap.":[46,96],"The":[47,80],"component":[49,69,113],"interface":[52],"system,":[56,65],"underlying":[60],"instructions":[61],"overlap":[68,112],"point":[71],"at":[72],"which":[73],"intersect.":[79],"are":[85],"often":[86],"tested":[87],"separately,":[88],"however,":[89],"problems":[90],"can":[91],"occur":[92],"where":[93],"these":[94],"Therefore,":[97],"in":[98],"present":[102],"a":[103],"model-based":[104],"testing":[105],"approach":[106],"specifically":[107],"designed":[108],"inspect":[110],"behaviour":[114],"it":[119],"behaves":[120]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}