%0 Journal Article %1 journals/es/ChengZ22 %A Cheng, Huihui %A Zeng, Hongwei %D 2022 %J Expert Syst. J. Knowl. Eng. %K dblp %N 6 %T Optimizing demand-driven null dereference verification via merging branches. %U http://dblp.uni-trier.de/db/journals/es/es39.html#ChengZ22 %V 39

@article{journals/es/ChengZ22, added-at = {2022-07-25T00:00:00.000+0200}, author = {Cheng, Huihui and Zeng, Hongwei}, biburl = {https://www.bibsonomy.org/bibtex/2865f995d203d11f6f7af25c82004822c/dblp}, ee = {https://doi.org/10.1111/exsy.12707}, interhash = {88059a13695e2478ad487848ede9f3f2}, intrahash = {865f995d203d11f6f7af25c82004822c}, journal = {Expert Syst. J. Knowl. Eng.}, keywords = {dblp}, number = 6, timestamp = {2024-04-08T15:04:02.000+0200}, title = {Optimizing demand-driven null dereference verification via merging branches.}, url = {http://dblp.uni-trier.de/db/journals/es/es39.html#ChengZ22}, volume = 39, year = 2022 }