{"id":"https://openalex.org/W2013529732","doi":"https://doi.org/10.1145/2695664.2695877","title":"AB=\u15faA","display_name":"AB=\u15faA","publication_year":2015,"publication_date":"2015-04-13","ids":{"openalex":"https://openalex.org/W2013529732","doi":"https://doi.org/10.1145/2695664.2695877","mag":"2013529732"},"language":"en","primary_location":{"id":"doi:10.1145/2695664.2695877","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2695664.2695877","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.vu.nl/en/publications/6b2ba6b7-6f11-4f31-960f-619406a383af","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012910142","display_name":"Alexander Elyasov","orcid":null},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"A. Elyasov","raw_affiliation_strings":["Utrecht University, Utrecht, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Utrecht University, Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037788528","display_name":"I. S. W. B. Prasetya","orcid":"https://orcid.org/0000-0002-3421-4635"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"W. Prasetya","raw_affiliation_strings":["Utrecht University, Utrecht, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Utrecht University, Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101615144","display_name":"Jurriaan Hage","orcid":"https://orcid.org/0000-0002-3580-6069"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"J. Hage","raw_affiliation_strings":["Utrecht University, Utrecht, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Utrecht University, Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011471549","display_name":"Urko Rueda","orcid":null},"institutions":[{"id":"https://openalex.org/I60053951","display_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","ror":"https://ror.org/01460j859","country_code":"ES","type":"education","lineage":["https://openalex.org/I60053951"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"U. Rueda","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Val\u00e8ncia, Valencia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Val\u00e8ncia, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075982623","display_name":"Tanja E. J. Vos","orcid":"https://orcid.org/0000-0002-6003-9113"},"institutions":[{"id":"https://openalex.org/I60053951","display_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","ror":"https://ror.org/01460j859","country_code":"ES","type":"education","lineage":["https://openalex.org/I60053951"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"T. Vos","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Val\u00e8ncia, Valencia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Val\u00e8ncia, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018839069","display_name":"Nelly Condor\u00ed-Fern\u00e1ndez","orcid":"https://orcid.org/0000-0002-1044-3871"},"institutions":[{"id":"https://openalex.org/I60053951","display_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","ror":"https://ror.org/01460j859","country_code":"ES","type":"education","lineage":["https://openalex.org/I60053951"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"N. Condori-Fern\u00e1ndez","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Val\u00e8ncia, Valencia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Val\u00e8ncia, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5355,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71107518,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1559","last_page":"1566"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9994999766349792,"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/oracle","display_name":"Oracle","score":0.7833791375160217},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6621212959289551},{"id":"https://openalex.org/keywords/flex","display_name":"FLEX","score":0.6261228322982788},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6229907870292664},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.5998921990394592},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39447519183158875},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3295583724975586},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2969036400318146},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29336118698120117},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.256439208984375}],"concepts":[{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7833791375160217},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6621212959289551},{"id":"https://openalex.org/C2776252893","wikidata":"https://www.wikidata.org/wiki/Q1364836","display_name":"FLEX","level":2,"score":0.6261228322982788},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6229907870292664},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.5998921990394592},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39447519183158875},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3295583724975586},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2969036400318146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29336118698120117},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.256439208984375},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/2695664.2695877","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2695664.2695877","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/6b2ba6b7-6f11-4f31-960f-619406a383af","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/6b2ba6b7-6f11-4f31-960f-619406a383af","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Elyasov, A, Prasetya, W, Hage, J, Rueda, U, Vos, T & Condori-Fernandez, O N 2015, AB=\u15faA: execution equivalence as a new type of testing oracle. in Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, Spain, pp. 1559-1566, Symposium on Applied Computing (SAC), 13/04/15. https://doi.org/10.1145/2695664.2695877","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:dare.ubvu.vu.nl:1871/54071","is_oa":true,"landing_page_url":"http://hdl.handle.net/1871/54071","pdf_url":"http://hdl.handle.net/1871/54071","source":{"id":"https://openalex.org/S4306400546","display_name":"Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","raw_type":"Article in monograph or in proceedings"},{"id":"pmh:uu:oai:dspace.library.uu.nl:1874/321620","is_oa":true,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/321620","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"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":"SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC), 1559. ACM","raw_type":"info:eu-repo/semantics/bookpart"}],"best_oa_location":{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/6b2ba6b7-6f11-4f31-960f-619406a383af","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/6b2ba6b7-6f11-4f31-960f-619406a383af","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Elyasov, A, Prasetya, W, Hage, J, Rueda, U, Vos, T & Condori-Fernandez, O N 2015, AB=\u15faA: execution equivalence as a new type of testing oracle. in Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, Spain, pp. 1559-1566, Symposium on Applied Computing (SAC), 13/04/15. https://doi.org/10.1145/2695664.2695877","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"score":0.6700000166893005,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W163074494","https://openalex.org/W1486172410","https://openalex.org/W2007777090","https://openalex.org/W2014886770","https://openalex.org/W2055447156","https://openalex.org/W2106860490","https://openalex.org/W2107399969","https://openalex.org/W2110441383","https://openalex.org/W2110908283","https://openalex.org/W2120788299","https://openalex.org/W2126446220","https://openalex.org/W2145493790","https://openalex.org/W2149203879","https://openalex.org/W2150990363","https://openalex.org/W2174535387"],"related_works":["https://openalex.org/W4250698707","https://openalex.org/W4244545186","https://openalex.org/W4247748223","https://openalex.org/W1008394927","https://openalex.org/W183173419","https://openalex.org/W4253292776","https://openalex.org/W2483231410","https://openalex.org/W4402871433","https://openalex.org/W2499765358","https://openalex.org/W2349728712"],"abstract_inverted_index":{"This":[0,142],"paper":[1],"introduces":[2],"a":[3,71,103,162],"new":[4],"type":[5],"of":[6,41,46,48,73,99,134],"automated":[7],"testing":[8,79,155],"oracle,":[9],"called":[10],"the":[11,39,59,62,90,97,106,120,125,132],"execution":[12,136],"equivalence":[13,36],"(EE)":[14],"invariants.":[15,141],"These":[16],"invariants":[17,101],"can":[18],"be":[19],"mined":[20],"from":[21],"application":[22,27,30,42,108],"logs":[23,60],"that":[24,66,146],"capture":[25],"both":[26],"events":[28,43,75],"and":[29,51,95,124],"states.":[31],"The":[32,111],"EE-invariants":[33],"express":[34],"an":[35],"relation":[37],"on":[38,102,117],"sequences":[40,56],"in":[44,58,154],"terms":[45],"equality":[47],"respective":[49],"initial":[50],"final":[52],"states,":[53],"which":[54,168],"these":[55,100],"leave":[57],"during":[61],"run-time.":[63],"We":[64,81],"claim":[65],"even":[67],"equivalences":[68,137],"up":[69],"to":[70,170],"length":[72],"four":[74],"already":[76],"provide":[77],"useful":[78],"oracle.":[80],"extended":[82],"our":[83],"tool":[84],"LOPI":[85,153,167],"(LOg-based":[86],"Pattern":[87],"Inferencer)":[88],"with":[89,138],"algorithm":[91],"for":[92,166],"mining":[93],"EE-invariants,":[94],"evaluated":[96],"effectiveness":[98],"case-study":[104],"---":[105],"web":[107],"Flex":[109,156],"Store.":[110,157],"evaluation":[112],"is":[113],"carried":[114],"out":[115],"based":[116],"two":[118],"parameters:":[119],"false":[121],"positive":[122],"rate":[123],"fault":[126],"finding":[127],"capability.":[128],"Moreover,":[129],"we":[130,159],"compared":[131],"strength":[133],"LOPI's":[135],"Daikon's":[139],"data":[140],"comparison":[143],"has":[144],"shown":[145],"Daikon":[147],"was":[148],"slightly":[149],"more":[150],"effective":[151],"than":[152],"However,":[158],"have":[160],"found":[161],"suitable":[163],"confidence":[164],"level":[165],"allows":[169],"outperform":[171],"Daikon.":[172]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}