%0 Conference Paper %1 conf/icse/HatcliffRCB13 %A Hatcliff, John %A Robby, %A Chalin, Patrice %A Belt, Jason %B ICSE %D 2013 %E Notkin, David %E Cheng, Betty H. C. %E Pohl, Klaus %I IEEE Computer Society %K dblp %P 222-231 %T Explicating symbolic execution (xSymExe): an evidence-based verification framework. %U http://dblp.uni-trier.de/db/conf/icse/icse2013.html#HatcliffRCB13 %@ 978-1-4673-3076-3

@inproceedings{conf/icse/HatcliffRCB13, added-at = {2023-03-23T00:00:00.000+0100}, author = {Hatcliff, John and Robby and Chalin, Patrice and Belt, Jason}, biburl = {https://www.bibsonomy.org/bibtex/2da40cdddf15ea0b4d6400515f46b1da0/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2013}, editor = {Notkin, David and Cheng, Betty H. C. and Pohl, Klaus}, ee = {http://dl.acm.org/citation.cfm?id=2486818}, interhash = {5ee561d17c470850f9d38bb2c36e847f}, intrahash = {da40cdddf15ea0b4d6400515f46b1da0}, isbn = {978-1-4673-3076-3}, keywords = {dblp}, pages = {222-231}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:37:17.000+0200}, title = {Explicating symbolic execution (xSymExe): an evidence-based verification framework.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2013.html#HatcliffRCB13}, year = 2013 }