{"id":"https://openalex.org/W2342683793","doi":"https://doi.org/10.1142/s0218194016500091","title":"Input Contract Testing of Graphical User Interfaces","display_name":"Input Contract Testing of Graphical User Interfaces","publication_year":2016,"publication_date":"2016-03-01","ids":{"openalex":"https://openalex.org/W2342683793","doi":"https://doi.org/10.1142/s0218194016500091","mag":"2342683793"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194016500091","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194016500091","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://gcris.iyte.edu.tr/bitstreams/9a496349-4479-416b-90fa-bcc189549a55/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062663699","display_name":"Tu\u011fkan Tu\u011flular","orcid":"https://orcid.org/0000-0001-6797-3913"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]},{"id":"https://openalex.org/I120217413","display_name":"Izmir Institute of Technology","ror":"https://ror.org/03stptj97","country_code":"TR","type":"education","lineage":["https://openalex.org/I120217413"]}],"countries":["DE","TR"],"is_corresponding":true,"raw_author_name":"Tugkan Tuglular","raw_affiliation_strings":["Department of Computer Engineering, Izmir Institute of Technology, Urla, Izmir 35430, Turkey","Department of Computer Science, Electrical Engineering and Mathematics University of Paderborn Warburger Str. 100, D-33098 Paderborn, Germany","Department of Computer Engineering Izmir Institute of Technology, Urla, Izmir 35430, Turkey"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Izmir Institute of Technology, Urla, Izmir 35430, Turkey","institution_ids":["https://openalex.org/I120217413"]},{"raw_affiliation_string":"Department of Computer Science, Electrical Engineering and Mathematics University of Paderborn Warburger Str. 100, D-33098 Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"Department of Computer Engineering Izmir Institute of Technology, Urla, Izmir 35430, Turkey","institution_ids":["https://openalex.org/I120217413"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077251668","display_name":"Fevzi Belli","orcid":"https://orcid.org/0000-0002-8421-3497"},"institutions":[{"id":"https://openalex.org/I120217413","display_name":"Izmir Institute of Technology","ror":"https://ror.org/03stptj97","country_code":"TR","type":"education","lineage":["https://openalex.org/I120217413"]},{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE","TR"],"is_corresponding":false,"raw_author_name":"Fevzi Belli","raw_affiliation_strings":["Department of Computer Engineering, Izmir Institute of Technology, Urla, Izmir 35430, Turkey","Department of Computer Science, Electrical Engineering and Mathematics, University of Paderborn, Warburger Str. 100, D-33098 Paderborn, Germany","Department of Computer Engineering Izmir Institute of Technology, Urla, Izmir 35430, Turkey"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Izmir Institute of Technology, Urla, Izmir 35430, Turkey","institution_ids":["https://openalex.org/I120217413"]},{"raw_affiliation_string":"Department of Computer Science, Electrical Engineering and Mathematics, University of Paderborn, Warburger Str. 100, D-33098 Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"Department of Computer Engineering Izmir Institute of Technology, Urla, Izmir 35430, Turkey","institution_ids":["https://openalex.org/I120217413"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087084927","display_name":"Michael Linschulte","orcid":null},"institutions":[{"id":"https://openalex.org/I4210163225","display_name":"Krankenhaus K\u00f6ln-Holweide","ror":"https://ror.org/05wx3dm75","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I4210163225"]},{"id":"https://openalex.org/I120217413","display_name":"Izmir Institute of Technology","ror":"https://ror.org/03stptj97","country_code":"TR","type":"education","lineage":["https://openalex.org/I120217413"]},{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE","TR"],"is_corresponding":false,"raw_author_name":"Michael Linschulte","raw_affiliation_strings":["Andagon GmbH, Scheidtweilerstr. 4, 50933 K\u00f6ln, Germany","Department of Computer Engineering Izmir Institute of Technology, Urla, Izmir 35430, Turkey","Department of Computer Science, Electrical Engineering and Mathematics University of Paderborn Warburger Str. 100, D-33098 Paderborn, Germany"],"affiliations":[{"raw_affiliation_string":"Andagon GmbH, Scheidtweilerstr. 4, 50933 K\u00f6ln, Germany","institution_ids":["https://openalex.org/I4210163225"]},{"raw_affiliation_string":"Department of Computer Engineering Izmir Institute of Technology, Urla, Izmir 35430, Turkey","institution_ids":["https://openalex.org/I120217413"]},{"raw_affiliation_string":"Department of Computer Science, Electrical Engineering and Mathematics University of Paderborn Warburger Str. 100, D-33098 Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5062663699"],"corresponding_institution_ids":["https://openalex.org/I120217413","https://openalex.org/I206945453"],"apc_list":null,"apc_paid":null,"fwci":2.1655,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.87191125,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"26","issue":"02","first_page":"183","last_page":"215"},"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.9998999834060669,"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.9998999834060669,"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.9993000030517578,"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/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.7861738204956055},{"id":"https://openalex.org/keywords/robustness-testing","display_name":"Robustness testing","score":0.544701099395752},{"id":"https://openalex.org/keywords/graphical-user-interface-testing","display_name":"Graphical user interface testing","score":0.5341794490814209},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.48888081312179565},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.4735095798969269},{"id":"https://openalex.org/keywords/graphical-user-interface","display_name":"Graphical user interface","score":0.45930609107017517},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.44371646642684937},{"id":"https://openalex.org/keywords/user-interface-design","display_name":"User interface design","score":0.38646334409713745},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3259061574935913},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.32054251432418823},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2924599051475525},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2069092094898224},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.131515771150589}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7861738204956055},{"id":"https://openalex.org/C137726913","wikidata":"https://www.wikidata.org/wiki/Q7353550","display_name":"Robustness testing","level":3,"score":0.544701099395752},{"id":"https://openalex.org/C66153210","wikidata":"https://www.wikidata.org/wiki/Q5597182","display_name":"Graphical user interface testing","level":4,"score":0.5341794490814209},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.48888081312179565},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.4735095798969269},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.45930609107017517},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44371646642684937},{"id":"https://openalex.org/C149229913","wikidata":"https://www.wikidata.org/wiki/Q135707","display_name":"User interface design","level":3,"score":0.38646334409713745},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3259061574935913},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.32054251432418823},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2924599051475525},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2069092094898224},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.131515771150589},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1142/s0218194016500091","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194016500091","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"},{"id":"pmh:oai:gcris.iyte.edu.tr:11147/6828","is_oa":true,"landing_page_url":"https://hdl.handle.net/11147/6828","pdf_url":"http://gcris.iyte.edu.tr/bitstreams/9a496349-4479-416b-90fa-bcc189549a55/download","source":{"id":"https://openalex.org/S4306400894","display_name":"\u0130YTE (\u0130ZM\u0130R Y\u00dcKSEK TEKNOLOJ\u0130 ENST\u0130T\u00dcS\u00dc)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I120217413","host_organization_name":"Izmir Institute of Technology","host_organization_lineage":["https://openalex.org/I120217413"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:openaccess.iyte.edu.tr:11147/6828","is_oa":true,"landing_page_url":"http://doi.org/10.1142/S0218194016500091","pdf_url":null,"source":{"id":"https://openalex.org/S4377196445","display_name":"IYTE GCRIS Database (Izmir Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I120217413","host_organization_name":"Izmir Institute of Technology","host_organization_lineage":["https://openalex.org/I120217413"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:gcris.iyte.edu.tr:11147/6828","is_oa":true,"landing_page_url":"https://hdl.handle.net/11147/6828","pdf_url":"http://gcris.iyte.edu.tr/bitstreams/9a496349-4479-416b-90fa-bcc189549a55/download","source":{"id":"https://openalex.org/S4306400894","display_name":"\u0130YTE (\u0130ZM\u0130R Y\u00dcKSEK TEKNOLOJ\u0130 ENST\u0130T\u00dcS\u00dc)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I120217413","host_organization_name":"Izmir Institute of Technology","host_organization_lineage":["https://openalex.org/I120217413"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2342683793.pdf","grobid_xml":"https://content.openalex.org/works/W2342683793.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W63710172","https://openalex.org/W127224647","https://openalex.org/W1596127723","https://openalex.org/W1910771831","https://openalex.org/W1990467226","https://openalex.org/W2001288039","https://openalex.org/W2002998585","https://openalex.org/W2010245779","https://openalex.org/W2012373859","https://openalex.org/W2023730632","https://openalex.org/W2052363833","https://openalex.org/W2055256950","https://openalex.org/W2074835004","https://openalex.org/W2083965123","https://openalex.org/W2087305559","https://openalex.org/W2090746975","https://openalex.org/W2096160130","https://openalex.org/W2105864475","https://openalex.org/W2107580999","https://openalex.org/W2111584600","https://openalex.org/W2113457891","https://openalex.org/W2119582290","https://openalex.org/W2128779711","https://openalex.org/W2131102467","https://openalex.org/W2145071982","https://openalex.org/W2145619906","https://openalex.org/W2146987093","https://openalex.org/W2149224076","https://openalex.org/W2149342630","https://openalex.org/W2154025936","https://openalex.org/W2159412780","https://openalex.org/W2245880719","https://openalex.org/W4205241876","https://openalex.org/W4231104606","https://openalex.org/W4237869154"],"related_works":["https://openalex.org/W3180179400","https://openalex.org/W2118366689","https://openalex.org/W2039055059","https://openalex.org/W2183494409","https://openalex.org/W2381088774","https://openalex.org/W963721989","https://openalex.org/W2116888309","https://openalex.org/W2197102099","https://openalex.org/W2369004040","https://openalex.org/W2477652530"],"abstract_inverted_index":{"User":[0],"inputs":[1],"are":[2,91],"critical":[3],"for":[4,97],"the":[5,67,85],"security,":[6],"safety,":[7],"and":[8,34,63,81],"reliability":[9],"of":[10,28,42,59,105],"software":[11],"systems.":[12],"This":[13],"paper":[14,72],"proposes":[15],"a":[16,29,35,74,94],"new":[17],"concept":[18],"called":[19],"user":[20,43,60,112],"input":[21,44,53,103,113],"contracts,":[22],"which":[23],"is":[24],"an":[25,52],"integral":[26],"part":[27],"design-by-contract":[30],"supplemented":[31],"development":[32],"process,":[33],"model-based":[36],"testing":[37],"approach":[38,47,86],"to":[39,66,83,101,111],"detect":[40],"violations":[41],"contracts.":[45,114],"The":[46,71,89],"generates":[48],"test":[49],"cases":[50],"from":[51],"contract":[54],"integrated":[55],"with":[56,109],"graph-based":[57],"model":[58],"interface":[61],"specification":[62],"applies":[64],"them":[65],"system":[68,96,106],"under":[69,107],"consideration.":[70],"presents":[73],"proof-of-concept":[75],"tool":[76],"that":[77],"has":[78],"been":[79],"developed":[80],"used":[82],"validate":[84],"by":[87],"experiments.":[88],"experiments":[90],"conducted":[92],"on":[93],"web-based":[95],"marketing":[98],"tourist":[99],"services":[100],"analyze":[102],"robustness":[104],"consideration":[108],"respect":[110]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2026-04-07T14:57:38.498316","created_date":"2016-06-24T00:00:00"}