Xianghua Deng Robby John Hatcliff Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. 273-282 2007 conf/sefm/2007 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.43 db/conf/sefm/sefm2007.html#DengRH07