{"id":"https://openalex.org/W2044626695","doi":"https://doi.org/10.1145/1297846.1297883","title":"Mining modal scenarios from execution traces","display_name":"Mining modal scenarios from execution traces","publication_year":2007,"publication_date":"2007-10-20","ids":{"openalex":"https://openalex.org/W2044626695","doi":"https://doi.org/10.1145/1297846.1297883","mag":"2044626695"},"language":"en","primary_location":{"id":"doi:10.1145/1297846.1297883","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1297846.1297883","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion","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/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"David Lo","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024052024","display_name":"Shahar Maoz","orcid":"https://orcid.org/0000-0002-4022-5349"},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Shahar Maoz","raw_affiliation_strings":["The Weizmann Institute of Science, Rehovot, Israel"],"affiliations":[{"raw_affiliation_string":"The Weizmann Institute of Science, Rehovot, Israel","institution_ids":["https://openalex.org/I53964585"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073352371","display_name":"Siau\u2010Cheng Khoo","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Siau-Cheng Khoo","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5081036622"],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":null,"apc_paid":null,"fwci":0.8298,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.84301596,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"777","last_page":"778"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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.9998999834060669,"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.9997000098228455,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.8431432247161865},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.8394216895103455},{"id":"https://openalex.org/keywords/sequence-diagram","display_name":"Sequence diagram","score":0.7162001729011536},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.676413893699646},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5911441445350647},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5481250882148743},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5429970026016235},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5163835287094116},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5035704970359802},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.49155983328819275},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.46745166182518005},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.444783091545105},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4410536587238312},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3723104000091553},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.28502511978149414},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.21474096179008484},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1946251392364502}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8431432247161865},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8394216895103455},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.7162001729011536},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.676413893699646},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5911441445350647},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5481250882148743},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5429970026016235},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5163835287094116},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5035704970359802},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.49155983328819275},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.46745166182518005},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.444783091545105},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4410536587238312},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3723104000091553},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.28502511978149414},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.21474096179008484},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1946251392364502},{"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/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1297846.1297883","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1297846.1297883","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion","raw_type":"proceedings-article"},{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-1943","is_oa":false,"landing_page_url":"https://ink.library.smu.edu.sg/cgi/viewcontent.cgi?article=1943&context=sis_research","pdf_url":null,"source":{"id":"https://openalex.org/S4377196871","display_name":"Institutional Knowledge (InK) - Institutional Knowledge at Singapore Management University (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://doi.org/10.1145/1297846.1297883","raw_type":"Conference Proceeding Article"},{"id":"pmh:oai:scholarbank.nus.edu.sg:10635/41444","is_oa":false,"landing_page_url":"http://scholarbank.nus.edu.sg/handle/10635/41444","pdf_url":null,"source":{"id":"https://openalex.org/S7407052290","display_name":"National University of Singapore","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scopus","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Responsible consumption and production","score":0.44999998807907104,"id":"https://metadata.un.org/sdg/12"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W259338706","https://openalex.org/W1500565010","https://openalex.org/W1592055490","https://openalex.org/W1603760039","https://openalex.org/W2021042308","https://openalex.org/W2047364111","https://openalex.org/W2118325805","https://openalex.org/W2125249627","https://openalex.org/W2126834265","https://openalex.org/W2140190241","https://openalex.org/W2140523262","https://openalex.org/W2295399529"],"related_works":["https://openalex.org/W2082472813","https://openalex.org/W2147348835","https://openalex.org/W3005566532","https://openalex.org/W278680301","https://openalex.org/W2164319435","https://openalex.org/W1970223082","https://openalex.org/W2883123122","https://openalex.org/W2144996318","https://openalex.org/W2130642229","https://openalex.org/W1959575449"],"abstract_inverted_index":{"Specification":[0],"mining":[1,30,100,128],"is":[2,102],"a":[3,14,22,24,27,38,145],"dynamic":[4],"analysis":[5],"process":[6],"aimed":[7],"at":[8],"automatically":[9],"inferring":[10],"suggested":[11],"specifications":[12,33,96],"of":[13,37,41,56,113,123],"program":[15],"from":[16],"its":[17],"execution":[18],"traces.":[19],"We":[20,138],"describe":[21],"method,":[23],"framework,":[25],"and":[26,43,62,72,81,91,110,135,140],"tool,":[28],"for":[29,84],"inter-object":[31],"scenario-based":[32,95],"in":[34,67],"the":[35,51,94,111,114,126],"form":[36],"UML2-compliant":[39],"variant":[40],"Damm":[42],"Harel's":[44],"Live":[45],"Sequence":[46],"Charts":[47],"(LSC),":[48],"which":[49,130],"extends":[50],"classical":[52],"partial":[53],"order":[54,68],"semantics":[55],"sequence":[57],"diagrams":[58],"with":[59],"temporal":[60],"liveness":[61],"symbolic":[63],"class":[64],"level":[65],"lifelines,":[66],"to":[69,86,125],"generate":[70],"compact":[71],"expressive":[73],"specifications.":[74],"Moreover,":[75],"we":[76,97],"use":[77],"previous":[78],"research":[79],"work":[80,143],"tools":[82],"developed":[83],"LSC":[85],"visualize,":[87],"analyze,":[88],"manipulate,":[89],"test,":[90],"thus":[92],"evaluate":[93,141],"mine.":[98],"Our":[99],"framework":[101],"supported":[103],"by":[104,120],"statistically":[105],"sound":[106],"metrics.":[107],"Its":[108],"effectiveness":[109],"usefulness":[112],"mined":[115],"scenarios":[116],"are":[117],"further":[118],"improved":[119],"an":[121],"array":[122],"extensions":[124],"basic":[127],"algorithm,":[129],"include":[131],"various":[132],"user-guided":[133],"filters":[134],"abstraction":[136],"mechanisms.":[137],"demonstrate":[139],"our":[142],"using":[144],"case":[146],"study.":[147]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}