%0 Conference Paper %1 conf/icst/LiewCD16 %A Liew, Daniel %A Cadar, Cristian %A Donaldson, Alastair F. %B ICST %D 2016 %I IEEE Computer Society %K dblp %P 45-56 %T Symbooglix: A Symbolic Execution Engine for Boogie Programs. %U http://dblp.uni-trier.de/db/conf/icst/icst2016.html#LiewCD16 %@ 978-1-5090-1827-7

@inproceedings{conf/icst/LiewCD16, added-at = {2016-07-26T00:00:00.000+0200}, author = {Liew, Daniel and Cadar, Cristian and Donaldson, Alastair F.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/289496883f3408ccf975570b6897d096a/dblp}, booktitle = {ICST}, crossref = {conf/icst/2016}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICST.2016.11}, interhash = {5edce06a20e8eb2398f7793274509108}, intrahash = {89496883f3408ccf975570b6897d096a}, isbn = {978-1-5090-1827-7}, keywords = {dblp}, pages = {45-56}, publisher = {IEEE Computer Society}, timestamp = {2016-07-28T09:34:16.000+0200}, title = {Symbooglix: A Symbolic Execution Engine for Boogie Programs.}, url = {http://dblp.uni-trier.de/db/conf/icst/icst2016.html#LiewCD16}, year = 2016 }