@inproceedings{DBLP:conf/icse/MarcozziVH14,
  author    = {Micha{\"{e}}l Marcozzi and
               Wim Vanhoof and
               Jean{-}Luc Hainaut},
  title     = {Towards testing of full-scale {SQL} applications using relational
               symbolic execution},
  booktitle = {Proceedings of the 6th International Workshop on Constraints in Software
               Testing, Verification, and Analysis, {CSTVA} 2014, Hyderabad, India,
               May 31, 2014},
  pages     = {12--17},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014cstva},
  url       = {https://doi.org/10.1145/2593735.2593738},
  doi       = {10.1145/2593735.2593738},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/MarcozziVH14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"iHj5a28sivohHXvha","bibbaseid":"marcozzi-vanhoof-hainaut-towardstestingoffullscalesqlapplicationsusingrelationalsymbolicexecution-2014","authorIDs":[],"author_short":["Marcozzi, M.","Vanhoof, W.","Hainaut, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michaël"],"propositions":[],"lastnames":["Marcozzi"],"suffixes":[]},{"firstnames":["Wim"],"propositions":[],"lastnames":["Vanhoof"],"suffixes":[]},{"firstnames":["Jean-Luc"],"propositions":[],"lastnames":["Hainaut"],"suffixes":[]}],"title":"Towards testing of full-scale SQL applications using relational symbolic execution","booktitle":"Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014","pages":"12–17","year":"2014","crossref":"DBLP:conf/icse/2014cstva","url":"https://doi.org/10.1145/2593735.2593738","doi":"10.1145/2593735.2593738","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/icse/MarcozziVH14","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icse/MarcozziVH14,\n author = {Micha{\\\"{e}}l Marcozzi and\n Wim Vanhoof and\n Jean{-}Luc Hainaut},\n title = {Towards testing of full-scale {SQL} applications using relational\n symbolic execution},\n booktitle = {Proceedings of the 6th International Workshop on Constraints in Software\n Testing, Verification, and Analysis, {CSTVA} 2014, Hyderabad, India,\n May 31, 2014},\n pages = {12--17},\n year = {2014},\n crossref = {DBLP:conf/icse/2014cstva},\n url = {https://doi.org/10.1145/2593735.2593738},\n doi = {10.1145/2593735.2593738},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/icse/MarcozziVH14},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Marcozzi, M.","Vanhoof, W.","Hainaut, J."],"key":"DBLP:conf/icse/MarcozziVH14","id":"DBLP:conf/icse/MarcozziVH14","bibbaseid":"marcozzi-vanhoof-hainaut-towardstestingoffullscalesqlapplicationsusingrelationalsymbolicexecution-2014","role":"author","urls":{"Paper":"https://doi.org/10.1145/2593735.2593738"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/09/9883.bib","creationDate":"2020-02-03T21:22:44.953Z","downloads":0,"keywords":[],"search_terms":["towards","testing","full","scale","sql","applications","using","relational","symbolic","execution","marcozzi","vanhoof","hainaut"],"title":"Towards testing of full-scale SQL applications using relational symbolic execution","year":2014,"dataSources":["ZvRzEnst2w6fMk3Qy"]}