@inproceedings{conf/sefm/DengRH07,
title = {Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.},
author = {Xianghua Deng and Robby and John Hatcliff},
booktitle = {SEFM},
crossref = {conf/sefm/2007},
pages = {273-282},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#DengRH07},
year = {2007},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.43}, isbn = {978-0-7695-2884-7}, date = {2007-12-06},
keywords = {dblp }
}
::