%0 Journal Article %1 journals/ase/YavuzB20 %A Yavuz, Tuba %A Bai, Ken Yihang %D 2020 %J Autom. Softw. Eng. %K dblp %N 3 %P 329-367 %T Analyzing system software components using API model guided symbolic execution. %U http://dblp.uni-trier.de/db/journals/ase/ase27.html#YavuzB20 %V 27

@article{journals/ase/YavuzB20, added-at = {2021-10-14T00:00:00.000+0200}, author = {Yavuz, Tuba and Bai, Ken Yihang}, biburl = {https://www.bibsonomy.org/bibtex/2332425651574304bce3870569bbff24e/dblp}, ee = {https://doi.org/10.1007/s10515-020-00276-5}, interhash = {a1a9c18628ec3b251d72acd8672dde4c}, intrahash = {332425651574304bce3870569bbff24e}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = 3, pages = {329-367}, timestamp = {2024-04-08T16:47:40.000+0200}, title = {Analyzing system software components using API model guided symbolic execution.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase27.html#YavuzB20}, volume = 27, year = 2020 }