{"id":"https://openalex.org/W2514268875","doi":"https://doi.org/10.1145/2970276.2970318","title":"Symbolic execution of stored procedures in database management systems","display_name":"Symbolic execution of stored procedures in database management systems","publication_year":2016,"publication_date":"2016-08-25","ids":{"openalex":"https://openalex.org/W2514268875","doi":"https://doi.org/10.1145/2970276.2970318","mag":"2514268875"},"language":"en","primary_location":{"id":"doi:10.1145/2970276.2970318","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970318","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st 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/A5037633634","display_name":"Muhammad Suleman Mahmood","orcid":null},"institutions":[{"id":"https://openalex.org/I207789805","display_name":"Lahore University of Management Sciences","ror":"https://ror.org/05b5x4a35","country_code":"PK","type":"education","lineage":["https://openalex.org/I207789805"]}],"countries":["PK"],"is_corresponding":true,"raw_author_name":"Muhammad Suleman Mahmood","raw_affiliation_strings":["Lahore University of Management Sciences, Pakistan"],"affiliations":[{"raw_affiliation_string":"Lahore University of Management Sciences, Pakistan","institution_ids":["https://openalex.org/I207789805"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064068884","display_name":"Maryam Abdul Ghafoor","orcid":"https://orcid.org/0000-0001-8690-3670"},"institutions":[{"id":"https://openalex.org/I207789805","display_name":"Lahore University of Management Sciences","ror":"https://ror.org/05b5x4a35","country_code":"PK","type":"education","lineage":["https://openalex.org/I207789805"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Maryam Abdul Ghafoor","raw_affiliation_strings":["Lahore University of Management Sciences, Pakistan"],"affiliations":[{"raw_affiliation_string":"Lahore University of Management Sciences, Pakistan","institution_ids":["https://openalex.org/I207789805"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038861217","display_name":"Junaid Haroon Siddiqui","orcid":"https://orcid.org/0000-0002-6674-7727"},"institutions":[{"id":"https://openalex.org/I207789805","display_name":"Lahore University of Management Sciences","ror":"https://ror.org/05b5x4a35","country_code":"PK","type":"education","lineage":["https://openalex.org/I207789805"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Junaid Haroon Siddiqui","raw_affiliation_strings":["Lahore University of Management Sciences, Pakistan"],"affiliations":[{"raw_affiliation_string":"Lahore University of Management Sciences, Pakistan","institution_ids":["https://openalex.org/I207789805"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5037633634"],"corresponding_institution_ids":["https://openalex.org/I207789805"],"apc_list":null,"apc_paid":null,"fwci":1.6676,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.84967435,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"519","last_page":"530"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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.9995999932289124,"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.9994000196456909,"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.8194972276687622},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7935304641723633},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.6801251173019409},{"id":"https://openalex.org/keywords/database-testing","display_name":"Database testing","score":0.4318948984146118},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4143729507923126},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34134534001350403},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3338242471218109},{"id":"https://openalex.org/keywords/database-design","display_name":"Database design","score":0.30690139532089233},{"id":"https://openalex.org/keywords/database-schema","display_name":"Database schema","score":0.2895517945289612},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1865033209323883}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8194972276687622},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7935304641723633},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.6801251173019409},{"id":"https://openalex.org/C78161392","wikidata":"https://www.wikidata.org/wiki/Q5227414","display_name":"Database testing","level":4,"score":0.4318948984146118},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4143729507923126},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34134534001350403},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3338242471218109},{"id":"https://openalex.org/C148840519","wikidata":"https://www.wikidata.org/wiki/Q1049878","display_name":"Database design","level":2,"score":0.30690139532089233},{"id":"https://openalex.org/C30775581","wikidata":"https://www.wikidata.org/wiki/Q632285","display_name":"Database schema","level":3,"score":0.2895517945289612},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1865033209323883}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2970276.2970318","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970318","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6600000262260437}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W99855235","https://openalex.org/W1480909796","https://openalex.org/W1518705996","https://openalex.org/W1596018922","https://openalex.org/W1633805695","https://openalex.org/W1710734607","https://openalex.org/W1720848645","https://openalex.org/W1856462361","https://openalex.org/W1999217744","https://openalex.org/W2001698600","https://openalex.org/W2009489720","https://openalex.org/W2017995536","https://openalex.org/W2018224761","https://openalex.org/W2024391604","https://openalex.org/W2034204026","https://openalex.org/W2050886219","https://openalex.org/W2060440626","https://openalex.org/W2066353350","https://openalex.org/W2084974764","https://openalex.org/W2096449544","https://openalex.org/W2101512909","https://openalex.org/W2109276114","https://openalex.org/W2112018610","https://openalex.org/W2113531724","https://openalex.org/W2114402335","https://openalex.org/W2117058582","https://openalex.org/W2128962261","https://openalex.org/W2132897303","https://openalex.org/W2133612077","https://openalex.org/W2141656264","https://openalex.org/W2144319429","https://openalex.org/W2149255455","https://openalex.org/W2152565783","https://openalex.org/W2164636932","https://openalex.org/W2167818871","https://openalex.org/W2169063148","https://openalex.org/W4236799059","https://openalex.org/W4237492309","https://openalex.org/W4246385123"],"related_works":["https://openalex.org/W3168910894","https://openalex.org/W4239107164","https://openalex.org/W1989645082","https://openalex.org/W2913707658","https://openalex.org/W2388203381","https://openalex.org/W2357102580","https://openalex.org/W2393900196","https://openalex.org/W2018151471","https://openalex.org/W2006507590","https://openalex.org/W1980366592"],"abstract_inverted_index":{"Stored":[0],"procedures":[1,17,57],"in":[2],"database":[3,39],"management":[4],"systems":[5],"are":[6,62],"often":[7],"used":[8],"to":[9,32,43],"implement":[10],"complex":[11],"business":[12],"logic.":[13],"Correctness":[14],"of":[15,23,36,55],"these":[16],"is":[18],"critical":[19],"for":[20,52],"correct":[21],"working":[22],"the":[24,59],"system.":[25],"However,":[26],"testing":[27,54],"them":[28],"remains":[29],"difficult":[30],"due":[31],"many":[33],"possible":[34],"states":[35],"data":[37],"and":[38],"constraints.":[40],"This":[41],"leads":[42],"mostly":[44],"manual":[45],"testing.":[46],"Newer":[47],"tools":[48],"offer":[49],"automated":[50],"execution":[51],"unit":[53],"stored":[56],"but":[58],"test":[60],"cases":[61],"still":[63],"written":[64],"manually.":[65]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}