{"id":"https://openalex.org/W33225510","doi":null,"title":"Event-sequence testing using answer-set programming","display_name":"Event-sequence testing using answer-set programming","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W33225510","mag":"33225510"},"language":"en","primary_location":{"id":"pmh:oai:research.sabanciuniv.edu:21048","doi":null,"is_oa":false,"landing_page_url":"https://research.sabanciuniv.edu/id/eprint/21048/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402254","display_name":"Sabanci University","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I134235054","host_organization_name":"Sabanc\u0131 \u00dcniversitesi","host_organization_lineage":["https://openalex.org/I134235054"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5085613195","display_name":"Martin Barin","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Martin Barin","raw_affiliation_strings":["University of Oxford"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016455314","display_name":"Esra Erdem","orcid":"https://orcid.org/0000-0001-8384-7810","observed_orcids":["https://orcid.org/0000-0001-8384-7810"]},"institutions":[{"id":"https://openalex.org/I134235054","display_name":"Sabanc\u0131 \u00dcniversitesi","ror":"https://ror.org/049asqa32","country_code":"TR","type":"education","lineage":["https://openalex.org/I134235054"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Esra Erdem","raw_affiliation_strings":["Sabanci Univ.#TAB#"],"raw_orcid":"https://orcid.org/0000-0001-8384-7810","affiliations":[{"raw_affiliation_string":"Sabanci Univ.#TAB#","institution_ids":["https://openalex.org/I134235054"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080458729","display_name":"Katsumi Inoue","orcid":"https://orcid.org/0000-0002-2717-9122","observed_orcids":["https://orcid.org/0000-0002-2717-9122"]},"institutions":[{"id":"https://openalex.org/I134235054","display_name":"Sabanc\u0131 \u00dcniversitesi","ror":"https://ror.org/049asqa32","country_code":"TR","type":"education","lineage":["https://openalex.org/I134235054"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Katsumi Inoue","raw_affiliation_strings":["Sabanci Univ.#TAB#"],"raw_orcid":"https://orcid.org/0000-0002-2717-9122","affiliations":[{"raw_affiliation_string":"Sabanci Univ.#TAB#","institution_ids":["https://openalex.org/I134235054"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028255011","display_name":"Johannes Oetsch","orcid":"https://orcid.org/0000-0002-9902-7662","observed_orcids":["https://orcid.org/0000-0002-9902-7662"]},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Johannes Oetsch","raw_affiliation_strings":["National Institute of Informatics,"],"raw_orcid":"https://orcid.org/0000-0002-9902-7662","affiliations":[{"raw_affiliation_string":"National Institute of Informatics,","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054366195","display_name":"J\u00f6rg P\u00fchrer","orcid":"https://orcid.org/0000-0003-1644-483X","observed_orcids":["https://orcid.org/0000-0003-1644-483X"]},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"J\u00f6rg P\u00fchrer","raw_affiliation_strings":["Vienna University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vienna University of Technology","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073662063","display_name":"Hans Tompits","orcid":"https://orcid.org/0000-0001-5673-2460","observed_orcids":["https://orcid.org/0000-0001-5673-2460"]},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Hans Tompits","raw_affiliation_strings":["Vienna University of Technology"],"raw_orcid":"https://orcid.org/0000-0001-5673-2460","affiliations":[{"raw_affiliation_string":"Vienna University of Technology","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054453972","display_name":"Cemal Y\u0131lmaz","orcid":"https://orcid.org/0000-0003-4124-2295","observed_orcids":["https://orcid.org/0000-0003-4124-2295"]},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Cemal Y\u0131lmaz","raw_affiliation_strings":["Vienna University of Technology"],"raw_orcid":"https://orcid.org/0000-0003-4124-2295","affiliations":[{"raw_affiliation_string":"Vienna University of Technology","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2338,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.8199274,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"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.9965999722480774,"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.9965999722480774,"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.0005000000237487257,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/answer-set-programming","display_name":"answer set programming","score":0.9739999771118164},{"id":"https://openalex.org/keywords/combinatorial-testing","display_name":"combinatorial testing","score":0.9190000295639038},{"id":"https://openalex.org/keywords/coverage-criteria","display_name":"coverage criteria","score":0.7570000290870667},{"id":"https://openalex.org/keywords/elaboration-tolerance","display_name":"elaboration tolerance","score":0.8889999985694885},{"id":"https://openalex.org/keywords/computational-complexity","display_name":"computational complexity","score":0.7620000243186951},{"id":"https://openalex.org/keywords/software-testing","display_name":"software testing","score":0.49399998784065247}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7639220952987671},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.626977264881134},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.607779324054718},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5578744411468506},{"id":"https://openalex.org/C115908005","wikidata":"https://www.wikidata.org/wiki/Q2668364","display_name":"Combinatorial explosion","level":2,"score":0.536486029624939},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5187380909919739},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5165818929672241},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5000243186950684},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4890087842941284},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.41755884885787964},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12228089570999146},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:research.sabanciuniv.edu:21048","doi":null,"is_oa":false,"landing_page_url":"https://research.sabanciuniv.edu/id/eprint/21048/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402254","display_name":"Sabanci University","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I134235054","host_organization_name":"Sabanc\u0131 \u00dcniversitesi","host_organization_lineage":["https://openalex.org/I134235054"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"mag:33225510","doi":null,"is_oa":false,"landing_page_url":"https://publik.tuwien.ac.at/files/PubDat_214421.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":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":70,"referenced_works":["https://openalex.org/W24725980","https://openalex.org/W91024833","https://openalex.org/W100154623","https://openalex.org/W1498722751","https://openalex.org/W1520000071","https://openalex.org/W1537685960","https://openalex.org/W1549711261","https://openalex.org/W1552168992","https://openalex.org/W1560461246","https://openalex.org/W1570425181","https://openalex.org/W1593723900","https://openalex.org/W1606891084","https://openalex.org/W1639901403","https://openalex.org/W1672891595","https://openalex.org/W1732487661","https://openalex.org/W1797711932","https://openalex.org/W1868255936","https://openalex.org/W1924767599","https://openalex.org/W1969965298","https://openalex.org/W1975442866","https://openalex.org/W1995563955","https://openalex.org/W1997501657","https://openalex.org/W1997780525","https://openalex.org/W2000478763","https://openalex.org/W2011124182","https://openalex.org/W2011722590","https://openalex.org/W2011958646","https://openalex.org/W2014205104","https://openalex.org/W2021509247","https://openalex.org/W2025672288","https://openalex.org/W2027125038","https://openalex.org/W2043182143","https://openalex.org/W2050758317","https://openalex.org/W2051742247","https://openalex.org/W2062850230","https://openalex.org/W2062984184","https://openalex.org/W2075699551","https://openalex.org/W2076698873","https://openalex.org/W2079509719","https://openalex.org/W2080904720","https://openalex.org/W2085368040","https://openalex.org/W2094071977","https://openalex.org/W2101161997","https://openalex.org/W2106188357","https://openalex.org/W2111776291","https://openalex.org/W2114568665","https://openalex.org/W2115895293","https://openalex.org/W2121321256","https://openalex.org/W2122176170","https://openalex.org/W2122796178","https://openalex.org/W2133697637","https://openalex.org/W2134815266","https://openalex.org/W2136202391","https://openalex.org/W2139980321","https://openalex.org/W2141148609","https://openalex.org/W2143361941","https://openalex.org/W2147104186","https://openalex.org/W2150898471","https://openalex.org/W2152131859","https://openalex.org/W2152660354","https://openalex.org/W2164783223","https://openalex.org/W2170457866","https://openalex.org/W2171570823","https://openalex.org/W2171697262","https://openalex.org/W2328064123","https://openalex.org/W2583374131","https://openalex.org/W2776247479","https://openalex.org/W2913688336","https://openalex.org/W3124311593","https://openalex.org/W6732939249"],"related_works":["https://openalex.org/W24725980","https://openalex.org/W1593723900","https://openalex.org/W1487621638","https://openalex.org/W6908935921","https://openalex.org/W1602778666","https://openalex.org/W7100644033","https://openalex.org/W1989280055","https://openalex.org/W3033721106","https://openalex.org/W1838281294","https://openalex.org/W2118160504"],"abstract_inverted_index":{"In":[0,14,50,93],"many":[1,16],"applications,":[2],"faults":[3],"are":[4,18,168],"triggered":[5],"by":[6,20,60,159],"events":[7],"that":[8,167],"occur":[9],"in":[10,131,170],"a":[11,25,101,116,140],"particular":[12],"order.":[13],"fact,":[15],"bugs":[17],"caused":[19],"the":[21,106,148],"interaction":[22,178],"of":[23,28,108,139,147],"only":[24,144],"low":[26],"number":[27],"such":[29],"events.":[30],"Based":[31],"on":[32,112],"this":[33,94,171],"assumption,":[34],"sequence":[35,48],"covering":[36],"arrays":[37],"(SCAs)":[38],"have":[39,65],"recently":[40],"been":[41],"proposed":[42],"as":[43,115],"suitable":[44],"designs":[45],"for":[46,55,78,119,153],"event":[47],"testing.":[49],"practice,":[51],"directly":[52],"applying":[53],"SCAs":[54,64,75,155],"testing":[56,166],"is":[57,91,156],"often":[58],"impaired":[59],"additional":[61],"constraints,":[62],"and":[63,87],"to":[66,69,76,125,164],"be":[67,82],"adapted":[68],"fit":[70],"application-specific":[71],"needs.":[72],"Modifying":[73],"precomputed":[74],"account":[77],"problem":[79,141],"variations":[80,138],"can":[81],"problematic,":[83],"if":[84],"not":[85],"impossible,":[86],"developing":[88],"dedicated":[89],"algorithms":[90],"costly.":[92],"article,":[95],"we":[96],"propose":[97],"answer-set":[98,180],"programming":[99],"(ASP),":[100],"well-known":[102],"knowledge-representation":[103],"formalism":[104],"from":[105],"area":[107],"artificial":[109],"intelligence":[110],"based":[111],"logic":[113],"programming,":[114],"declarative":[117],"paradigm":[118],"computing":[120,154],"SCAs.":[121],"Our":[122],"approach":[123],"allows":[124],"concisely":[126],"state":[127],"complex":[128],"coverage":[129],"criteria":[130],"an":[132],"elaboration":[133],"tolerant":[134],"way,":[135],"i.e.,":[136],"small":[137,145],"specification":[142],"require":[143],"modifications":[146],"ASP":[149,152],"representation.":[150],"Employing":[151],"further":[157],"justified":[158],"new":[160],"complexity":[161,175],"results":[162],"related":[163],"eventsequence":[165],"established":[169],"work.":[172],"Keywords-event-sequence":[173],"testing;":[174,179],"analysis;":[176],"combinatorial":[177],"programming.":[181]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}