A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications. Marcozzi, M., Vanhoof, W., & Hainaut, J. CoRR, 2015. Paper bibtex @article{DBLP:journals/corr/MarcozziVH15,
author = {Micha{\"{e}}l Marcozzi and
Wim Vanhoof and
Jean{-}Luc Hainaut},
title = {A Direct Symbolic Execution of {SQL} Code for Testing of Data-Oriented
Applications},
journal = {CoRR},
volume = {abs/1501.05265},
year = {2015},
url = {http://arxiv.org/abs/1501.05265},
archivePrefix = {arXiv},
eprint = {1501.05265},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/MarcozziVH15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"Tib4F6p2q4cLMHxtv","bibbaseid":"marcozzi-vanhoof-hainaut-adirectsymbolicexecutionofsqlcodefortestingofdataorientedapplications-2015","authorIDs":[],"author_short":["Marcozzi, M.","Vanhoof, W.","Hainaut, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michaël"],"propositions":[],"lastnames":["Marcozzi"],"suffixes":[]},{"firstnames":["Wim"],"propositions":[],"lastnames":["Vanhoof"],"suffixes":[]},{"firstnames":["Jean-Luc"],"propositions":[],"lastnames":["Hainaut"],"suffixes":[]}],"title":"A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications","journal":"CoRR","volume":"abs/1501.05265","year":"2015","url":"http://arxiv.org/abs/1501.05265","archiveprefix":"arXiv","eprint":"1501.05265","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/corr/MarcozziVH15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/MarcozziVH15,\n author = {Micha{\\\"{e}}l Marcozzi and\n Wim Vanhoof and\n Jean{-}Luc Hainaut},\n title = {A Direct Symbolic Execution of {SQL} Code for Testing of Data-Oriented\n Applications},\n journal = {CoRR},\n volume = {abs/1501.05265},\n year = {2015},\n url = {http://arxiv.org/abs/1501.05265},\n archivePrefix = {arXiv},\n eprint = {1501.05265},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/corr/MarcozziVH15},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Marcozzi, M.","Vanhoof, W.","Hainaut, J."],"key":"DBLP:journals/corr/MarcozziVH15","id":"DBLP:journals/corr/MarcozziVH15","bibbaseid":"marcozzi-vanhoof-hainaut-adirectsymbolicexecutionofsqlcodefortestingofdataorientedapplications-2015","role":"author","urls":{"Paper":"http://arxiv.org/abs/1501.05265"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/09/9883.bib","creationDate":"2020-02-03T21:22:44.946Z","downloads":0,"keywords":[],"search_terms":["direct","symbolic","execution","sql","code","testing","data","oriented","applications","marcozzi","vanhoof","hainaut"],"title":"A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications","year":2015,"dataSources":["ZvRzEnst2w6fMk3Qy"]}