%0 Journal Article %1 journals/corr/abs-2109-02312 %A Meng, Ruijie %A Dong, Zhen %A Li, Jialin %A Beschastnikh, Ivan %A Roychoudhury, Abhik %D 2021 %J CoRR %K dblp %T Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing. %U http://dblp.uni-trier.de/db/journals/corr/corr2109.html#abs-2109-02312 %V abs/2109.02312

@article{journals/corr/abs-2109-02312, added-at = {2022-12-22T00:00:00.000+0100}, author = {Meng, Ruijie and Dong, Zhen and Li, Jialin and Beschastnikh, Ivan and Roychoudhury, Abhik}, biburl = {https://www.bibsonomy.org/bibtex/241fa5f9227208b3e3b7654ebd8a40762/dblp}, ee = {https://arxiv.org/abs/2109.02312}, interhash = {095a82efb3d9ef332673a9fdb822fe4e}, intrahash = {41fa5f9227208b3e3b7654ebd8a40762}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:27:55.000+0200}, title = {Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2109.html#abs-2109-02312}, volume = {abs/2109.02312}, year = 2021 }