{"id":"https://openalex.org/W2099287547","doi":"https://doi.org/10.1145/1858996.1859081","title":"Scenario-based and value-based specification mining","display_name":"Scenario-based and value-based specification mining","publication_year":2010,"publication_date":"2010-09-20","ids":{"openalex":"https://openalex.org/W2099287547","doi":"https://doi.org/10.1145/1858996.1859081","mag":"2099287547"},"language":"en","primary_location":{"id":"doi:10.1145/1858996.1859081","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1858996.1859081","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM international conference on Automated software engineering","raw_type":"proceedings-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/A5081036622","display_name":"David Lo","orcid":"https://orcid.org/0000-0002-4367-7201"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"David Lo","raw_affiliation_strings":["Singapore Management University, Singapore, Singapore","[Singapore Management University, Singapore, Singapore]"],"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]},{"raw_affiliation_string":"[Singapore Management University, Singapore, Singapore]","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024052024","display_name":"Shahar Maoz","orcid":"https://orcid.org/0000-0002-4022-5349"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Shahar Maoz","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany","RWTH-Aachen University, Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"RWTH-Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5081036622"],"corresponding_institution_ids":["https://openalex.org/I79891267"],"apc_list":null,"apc_paid":null,"fwci":15.0114,"has_fulltext":false,"cited_by_count":72,"citation_normalized_percentile":{"value":0.98740729,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"387","last_page":"396"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.792945384979248},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.790900707244873},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.569258987903595},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.5311849117279053},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.5102150440216064},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"Program comprehension","score":0.5094378590583801},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5044912099838257},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4843074381351471},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.47476696968078613},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4727890193462372},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.46842989325523376},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.43745335936546326},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.41943082213401794},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3386414051055908},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2543937563896179},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.2233266532421112},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.08700791001319885},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.08328703045845032}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.792945384979248},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.790900707244873},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.569258987903595},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.5311849117279053},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.5102150440216064},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.5094378590583801},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5044912099838257},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4843074381351471},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.47476696968078613},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4727890193462372},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.46842989325523376},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.43745335936546326},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.41943082213401794},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3386414051055908},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2543937563896179},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2233266532421112},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08700791001319885},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.08328703045845032},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","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/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1858996.1859081","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1858996.1859081","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM international conference on Automated software engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":71,"referenced_works":["https://openalex.org/W1482962177","https://openalex.org/W1488002484","https://openalex.org/W1498352890","https://openalex.org/W1500565010","https://openalex.org/W1506285740","https://openalex.org/W1506481577","https://openalex.org/W1531717019","https://openalex.org/W1556566737","https://openalex.org/W1560396200","https://openalex.org/W1563105074","https://openalex.org/W1581882798","https://openalex.org/W1592055490","https://openalex.org/W1603760039","https://openalex.org/W1841537653","https://openalex.org/W1884819149","https://openalex.org/W1908649431","https://openalex.org/W1968451194","https://openalex.org/W1984606279","https://openalex.org/W1996832037","https://openalex.org/W2019166248","https://openalex.org/W2020647926","https://openalex.org/W2021042308","https://openalex.org/W2024291102","https://openalex.org/W2031353628","https://openalex.org/W2040371171","https://openalex.org/W2050349725","https://openalex.org/W2054520963","https://openalex.org/W2074001172","https://openalex.org/W2074644416","https://openalex.org/W2077491980","https://openalex.org/W2082258439","https://openalex.org/W2084932984","https://openalex.org/W2095703934","https://openalex.org/W2099353275","https://openalex.org/W2099705801","https://openalex.org/W2101058980","https://openalex.org/W2110034988","https://openalex.org/W2110908283","https://openalex.org/W2113548992","https://openalex.org/W2113709047","https://openalex.org/W2115803466","https://openalex.org/W2117227762","https://openalex.org/W2118325805","https://openalex.org/W2118893164","https://openalex.org/W2121818394","https://openalex.org/W2122182354","https://openalex.org/W2124081952","https://openalex.org/W2125249627","https://openalex.org/W2126775986","https://openalex.org/W2126834265","https://openalex.org/W2129058735","https://openalex.org/W2131954495","https://openalex.org/W2132874586","https://openalex.org/W2133099573","https://openalex.org/W2140190241","https://openalex.org/W2154755333","https://openalex.org/W2156118771","https://openalex.org/W2156841542","https://openalex.org/W2158391928","https://openalex.org/W2158454296","https://openalex.org/W2162034534","https://openalex.org/W2164122643","https://openalex.org/W2165575313","https://openalex.org/W2166064937","https://openalex.org/W2168625647","https://openalex.org/W2170694668","https://openalex.org/W2171471938","https://openalex.org/W2295399529","https://openalex.org/W2481726056","https://openalex.org/W3007267899","https://openalex.org/W3106729728"],"related_works":["https://openalex.org/W2134982133","https://openalex.org/W1964336761","https://openalex.org/W2991905743","https://openalex.org/W4239953224","https://openalex.org/W2112395437","https://openalex.org/W4302024603","https://openalex.org/W87824331","https://openalex.org/W2007121005","https://openalex.org/W2123609798","https://openalex.org/W2094122659"],"abstract_inverted_index":{"Specification":[0],"mining":[1,54,84],"takes":[2],"execution":[3],"traces":[4],"as":[5],"input":[6],"and":[7,19,114],"extracts":[8],"likely":[9,60],"program":[10,65],"invariants,":[11,57,109],"which":[12,31,58],"can":[13],"be":[14],"used":[15],"for":[16],"comprehension,":[17],"verification,":[18],"evolution":[20],"related":[21],"tasks.":[22],"In":[23],"this":[24],"work":[25],"we":[26,75],"integrate":[27],"scenario-based":[28,50,77],"specification":[29,51],"mining,":[30],"uses":[32],"data-mining":[33],"algorithms":[34,85],"to":[35,69,86,111],"suggest":[36],"ordering":[37],"constraints":[38],"in":[39],"the":[40,70,83,88,92],"form":[41],"of":[42,55,82,102],"live":[43],"sequence":[44],"charts,":[45],"an":[46],"inter-object,":[47],"visual,":[48],"modal,":[49],"language,":[52],"with":[53,106],"value-based":[56,108],"detects":[59],"invariants":[61,90],"holding":[62],"at":[63],"specific":[64],"points.":[66],"The":[67,95],"key":[68],"integration":[71],"is":[72],"a":[73],"technique":[74],"call":[76],"slicing,":[78],"running":[79],"on":[80],"top":[81],"distinguish":[87],"scenario-specific":[89,107],"from":[91],"general":[93],"ones.":[94],"resulting":[96],"suggested":[97],"specifications":[98],"are":[99],"rich,":[100],"consisting":[101],"modal":[103],"scenarios":[104],"annotated":[105],"referring":[110],"event":[112],"parameters":[113],"participating":[115],"object":[116],"properties.":[117]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":10},{"year":2012,"cited_by_count":5}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}