{"id":"https://openalex.org/W2888220744","doi":"https://doi.org/10.1145/3242887.3242889","title":"Extracting implicit programming rules: comparing static and dynamic approaches","display_name":"Extracting implicit programming rules: comparing static and dynamic approaches","publication_year":2018,"publication_date":"2018-08-20","ids":{"openalex":"https://openalex.org/W2888220744","doi":"https://doi.org/10.1145/3242887.3242889","mag":"2888220744"},"language":"en","primary_location":{"id":"doi:10.1145/3242887.3242889","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3242887.3242889","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3242887.3242889","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Workshop on Software Mining","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3242887.3242889","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050415345","display_name":"Tarannum Shaila Zaman","orcid":"https://orcid.org/0000-0002-8634-524X"},"institutions":[{"id":"https://openalex.org/I143302722","display_name":"University of Kentucky","ror":"https://ror.org/02k3smh20","country_code":"US","type":"education","lineage":["https://openalex.org/I143302722"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Tarannum Shaila Zaman","raw_affiliation_strings":["University of Kentucky, USA"],"affiliations":[{"raw_affiliation_string":"University of Kentucky, USA","institution_ids":["https://openalex.org/I143302722"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072070511","display_name":"Tingting Yu","orcid":"https://orcid.org/0000-0002-9461-4251"},"institutions":[{"id":"https://openalex.org/I143302722","display_name":"University of Kentucky","ror":"https://ror.org/02k3smh20","country_code":"US","type":"education","lineage":["https://openalex.org/I143302722"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tingting Yu","raw_affiliation_strings":["University of Kentucky, USA"],"affiliations":[{"raw_affiliation_string":"University of Kentucky, USA","institution_ids":["https://openalex.org/I143302722"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5050415345"],"corresponding_institution_ids":["https://openalex.org/I143302722"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.10603983,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"17","issue":null,"first_page":"1","last_page":"7"},"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.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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9973000288009644,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8154170513153076},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.7649744749069214},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6744239330291748},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49701884388923645},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4892897307872772},{"id":"https://openalex.org/keywords/dynamic-programming","display_name":"Dynamic programming","score":0.4202273190021515},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32491862773895264},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2717123031616211}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8154170513153076},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.7649744749069214},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6744239330291748},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49701884388923645},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4892897307872772},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.4202273190021515},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32491862773895264},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2717123031616211},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3242887.3242889","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3242887.3242889","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3242887.3242889","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Workshop on Software Mining","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3242887.3242889","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3242887.3242889","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3242887.3242889","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Workshop on Software Mining","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.75,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G2063041472","display_name":"CAREER: Testing Evolving Complex Software Systems","funder_award_id":"1652149","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7482391314","display_name":null,"funder_award_id":"CCF-1652149","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2888220744.pdf","grobid_xml":"https://content.openalex.org/works/W2888220744.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W1567790484","https://openalex.org/W1608194207","https://openalex.org/W1671067597","https://openalex.org/W2011958337","https://openalex.org/W2043811931","https://openalex.org/W2054520963","https://openalex.org/W2064853889","https://openalex.org/W2065227490","https://openalex.org/W2083158841","https://openalex.org/W2093938715","https://openalex.org/W2103318645","https://openalex.org/W2110893883","https://openalex.org/W2116973066","https://openalex.org/W2151953639","https://openalex.org/W2153964911","https://openalex.org/W2166559705","https://openalex.org/W2223115626","https://openalex.org/W2507635762","https://openalex.org/W2802863387","https://openalex.org/W2998574808","https://openalex.org/W3004040842","https://openalex.org/W3005064642","https://openalex.org/W4235272014","https://openalex.org/W4239312229","https://openalex.org/W4243469204"],"related_works":["https://openalex.org/W2379153735","https://openalex.org/W2046172023","https://openalex.org/W2170146914","https://openalex.org/W2972896947","https://openalex.org/W2083974823","https://openalex.org/W2355105570","https://openalex.org/W2072751097","https://openalex.org/W622882839","https://openalex.org/W2185017216","https://openalex.org/W2016345697"],"abstract_inverted_index":{"Programs":[0],"often":[1],"follow":[2],"implicit":[3,89],"programming":[4,28,90,122],"rules,":[5,91],"such":[6,20],"as,":[7],"function":[8,15],"call":[9,16],"A":[10],"must":[11],"be":[12,44,56,76],"followed":[13],"by":[14,25],"B.":[17],"Rules":[18],"of":[19,58,68,97,130,142,165],"kinds":[21],"are":[22,117,168],"rarely":[23],"documented":[24],"developers.":[26],"Nevertheless,":[27],"rules":[29,42,60,153],"play":[30],"an":[31,107],"important":[32],"role":[33],"in":[34],"software":[35],"testing":[36],"and":[37,83,139,162],"maintenance.":[38],"For":[39],"example,":[40],"the":[41,63,66,95,98,112,128,131,137,140,143,146,155],"can":[43,55],"used":[45,81,119],"as":[46],"test":[47,166],"oracles":[48],"to":[49,72,87,110],"detect":[50],"violations.":[51],"If":[52],"a":[53,160],"programmer":[54],"notified":[57],"these":[59],"before":[61],"updating":[62],"source":[64],"code,":[65],"chances":[67],"generating":[69],"defects":[70],"due":[71],"rule":[73],"violations":[74],"might":[75],"minimized.":[77],"Prior":[78],"works":[79],"have":[80,105],"static":[82,156],"dynamic":[84,132,147],"analysis":[85,133,148,157],"techniques":[86,114],"extract":[88],"but":[92],"none":[93],"compares":[94],"effectiveness":[96],"two":[99,113],"techniques.":[100],"In":[101],"this":[102],"paper,":[103],"we":[104],"undertaken":[106],"empirical":[108],"study":[109],"compare":[111],"when":[115],"they":[116],"being":[118],"for":[120],"extracting":[121],"rules.":[123],"Our":[124],"results":[125],"indicate":[126],"that":[127],"performance":[129],"technique":[134,149,158],"depends":[135],"on":[136],"number":[138,164],"diversity":[141],"traces.":[144],"Moreover,":[145],"generates":[150],"more":[151],"precise":[152],"than":[154],"if":[159],"diverse":[161],"sufficient":[163],"cases":[167],"provided.":[169]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}