%0 Journal Article %1 journals/access/WangCTZ20 %A Wang, Fujun %A Cao, Zining %A Tan, Lixing %A Zong, Hui %D 2020 %J IEEE Access %K dblp %P 108561-108578 %T Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions. %U http://dblp.uni-trier.de/db/journals/access/access8.html#WangCTZ20 %V 8

@article{journals/access/WangCTZ20, added-at = {2022-10-02T00:00:00.000+0200}, author = {Wang, Fujun and Cao, Zining and Tan, Lixing and Zong, Hui}, biburl = {https://www.bibsonomy.org/bibtex/2444a27e72e550744f959dc316ef9341d/dblp}, ee = {https://doi.org/10.1109/ACCESS.2020.3000907}, interhash = {f709dc7df0646b1cbaf2975fef38f16e}, intrahash = {444a27e72e550744f959dc316ef9341d}, journal = {IEEE Access}, keywords = {dblp}, pages = {108561-108578}, timestamp = {2024-04-08T14:12:18.000+0200}, title = {Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions.}, url = {http://dblp.uni-trier.de/db/journals/access/access8.html#WangCTZ20}, volume = 8, year = 2020 }