%0 Conference Paper %1 conf/kbse/DengLR06 %A Deng, Xianghua %A Lee, Jooyong %A Robby, %B ASE %D 2006 %I IEEE Computer Society %K coverage formal mbt model_checking symbolic testing %P 157-166 %T Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. %U http://dblp.uni-trier.de/db/conf/kbse/ase2006.html\#DengLR06 %@ 0-7695-2579-2

@inproceedings{conf/kbse/DengLR06, added-at = {2010-09-28T18:36:24.000+0200}, author = {Deng, Xianghua and Lee, Jooyong and Robby}, biburl = {https://www.bibsonomy.org/bibtex/220b61cc90b524df7f6b96bee2419ae25/davef}, booktitle = {ASE}, crossref = {conf/kbse/2006}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2006.26}, interhash = {025563cf31a9b11e569c9889c451ac82}, intrahash = {20b61cc90b524df7f6b96bee2419ae25}, isbn = {0-7695-2579-2}, keydf = {mc2}, keywords = {coverage formal mbt model_checking symbolic testing}, pages = {157-166}, publisher = {IEEE Computer Society}, timestamp = {2012-02-22T12:20:27.000+0100}, title = {Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2006.html\#DengLR06}, year = 2006 }