%0 Conference Paper %1 conf/qrs/HangLHG23 %A Hang, Yuqi %A Liu, Chen %A Hu, Lifa %A Gao, Xinyi %B QRS Companion %D 2023 %I IEEE %K dblp %P 18-24 %T Requirements-Driven Logic Testing for Deep Neural Networks. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2023c.html#HangLHG23 %@ 979-8-3503-5939-8

@inproceedings{conf/qrs/HangLHG23, added-at = {2024-03-05T00:00:00.000+0100}, author = {Hang, Yuqi and Liu, Chen and Hu, Lifa and Gao, Xinyi}, biburl = {https://www.bibsonomy.org/bibtex/24158ddabc633969da8737157c8a6e888/dblp}, booktitle = {QRS Companion}, crossref = {conf/qrs/2023c}, ee = {https://doi.org/10.1109/QRS-C60940.2023.00099}, interhash = {8de85f61dcaa0cdded3f9ce53f7b5365}, intrahash = {4158ddabc633969da8737157c8a6e888}, isbn = {979-8-3503-5939-8}, keywords = {dblp}, pages = {18-24}, publisher = {IEEE}, timestamp = {2024-04-09T13:27:58.000+0200}, title = {Requirements-Driven Logic Testing for Deep Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2023c.html#HangLHG23}, year = 2023 }