%0 Conference Paper %1 conf/kbse/XiaoLXT13 %A Xiao, Xusheng %A Li, Sihan %A Xie, Tao %A Tillmann, Nikolai %B ASE %D 2013 %E Denney, Ewen %E Bultan, Tevfik %E Zeller, Andreas %I IEEE %K dblp %P 246-256 %T Characteristic studies of loop problems for structural test generation via symbolic execution. %U http://dblp.uni-trier.de/db/conf/kbse/ase2013.html#XiaoLXT13

@inproceedings{conf/kbse/XiaoLXT13, added-at = {2018-11-30T00:00:00.000+0100}, author = {Xiao, Xusheng and Li, Sihan and Xie, Tao and Tillmann, Nikolai}, biburl = {https://www.bibsonomy.org/bibtex/236f4776569ccbdc034fce8fa6e3815e0/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2013}, editor = {Denney, Ewen and Bultan, Tevfik and Zeller, Andreas}, ee = {https://doi.org/10.1109/ASE.2013.6693084}, interhash = {bda3bea3cae6bd3957b7ee1433b35ce2}, intrahash = {36f4776569ccbdc034fce8fa6e3815e0}, keywords = {dblp}, pages = {246-256}, publisher = {IEEE}, timestamp = {2018-12-01T13:08:30.000+0100}, title = {Characteristic studies of loop problems for structural test generation via symbolic execution.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2013.html#XiaoLXT13}, year = 2013 }