{"_id":"9TCehKHMotvEaX6qj","bibbaseid":"vanoverberghe-tillmann-piessens-testinputgenerationforprogramswithpointers-2009","downloads":0,"creationDate":"2018-08-29T13:17:52.282Z","title":"Test Input Generation for Programs with Pointers","author_short":["Vanoverberghe, D.","Tillmann, N.","Piessens, F."],"year":2009,"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb0/p/Piessens:Frank.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Dries"],"propositions":[],"lastnames":["Vanoverberghe"],"suffixes":[]},{"firstnames":["Nikolai"],"propositions":[],"lastnames":["Tillmann"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Piessens"],"suffixes":[]}],"title":"Test Input Generation for Programs with Pointers","booktitle":"TACAS","series":"Lecture Notes in Computer Science","volume":"5505","pages":"277–291","publisher":"Springer","year":"2009","bibtex":"@inproceedings{DBLP:conf/tacas/VanoverbergheTP09,\n author = {Dries Vanoverberghe and\n Nikolai Tillmann and\n Frank Piessens},\n title = {Test Input Generation for Programs with Pointers},\n booktitle = {{TACAS}},\n series = {Lecture Notes in Computer Science},\n volume = {5505},\n pages = {277--291},\n publisher = {Springer},\n year = {2009}\n}\n\n","author_short":["Vanoverberghe, D.","Tillmann, N.","Piessens, F."],"key":"DBLP:conf/tacas/VanoverbergheTP09","id":"DBLP:conf/tacas/VanoverbergheTP09","bibbaseid":"vanoverberghe-tillmann-piessens-testinputgenerationforprogramswithpointers-2009","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["test","input","generation","programs","pointers","vanoverberghe","tillmann","piessens"],"keywords":[],"authorIDs":[],"dataSources":["cjvMqzGsyByuD9JLe"]}