%0 Conference Paper %1 conf/kbse/LiLQHBYCL16 %A Li, Xin %A Liang, Yongjuan %A Qian, Hong %A Hu, Yi-Qi %A Bu, Lei %A Yu, Yang %A Chen, Xin %A Li, Xuandong %B ASE %D 2016 %E Lo, David %E Apel, Sven %E Khurshid, Sarfraz %I ACM %K dblp %P 554-559 %T Symbolic execution of complex program driven by machine learning based constraint solving. %U http://dblp.uni-trier.de/db/conf/kbse/ase2016.html#LiLQHBYCL16 %@ 978-1-4503-3845-5

@inproceedings{conf/kbse/LiLQHBYCL16, added-at = {2023-11-12T00:00:00.000+0100}, author = {Li, Xin and Liang, Yongjuan and Qian, Hong and Hu, Yi-Qi and Bu, Lei and Yu, Yang and Chen, Xin and Li, Xuandong}, biburl = {https://www.bibsonomy.org/bibtex/2fe1d4bdbd6b250549003cef3526f87a5/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2016}, editor = {Lo, David and Apel, Sven and Khurshid, Sarfraz}, ee = {https://ieeexplore.ieee.org/document/7582790/}, interhash = {24bf63cc23f2e21c9c30ead8f96d197b}, intrahash = {fe1d4bdbd6b250549003cef3526f87a5}, isbn = {978-1-4503-3845-5}, keywords = {dblp}, pages = {554-559}, publisher = {ACM}, timestamp = {2024-04-09T23:52:27.000+0200}, title = {Symbolic execution of complex program driven by machine learning based constraint solving.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2016.html#LiLQHBYCL16}, year = 2016 }