%0 Journal Article %1 journals/csur/JayasenaM24 %A Jayasena, Aruna %A Mishra, Prabhat %D 2024 %J ACM Comput. Surv. %K dblp %N 5 %P 132:1-132:36 %T Directed Test Generation for Hardware Validation: A Survey. %U http://dblp.uni-trier.de/db/journals/csur/csur56.html#JayasenaM24 %V 56

@article{journals/csur/JayasenaM24, added-at = {2024-02-10T00:00:00.000+0100}, author = {Jayasena, Aruna and Mishra, Prabhat}, biburl = {https://www.bibsonomy.org/bibtex/235a353b6a75f1bfea95d9e1fb8ca15a6/dblp}, ee = {https://doi.org/10.1145/3638046}, interhash = {a053fea9c3337b534d2d3530dc7d171a}, intrahash = {35a353b6a75f1bfea95d9e1fb8ca15a6}, journal = {ACM Comput. Surv.}, keywords = {dblp}, month = May, number = 5, pages = {132:1-132:36}, timestamp = {2024-04-09T00:51:38.000+0200}, title = {Directed Test Generation for Hardware Validation: A Survey.}, url = {http://dblp.uni-trier.de/db/journals/csur/csur56.html#JayasenaM24}, volume = 56, year = 2024 }